Index of values


A
a [Std_internal.Typerep.Named.T5]
a [Std_internal.Typerep.Named.T4]
a [Std_internal.Typerep.Named.T3]
a [Std_internal.Typerep.Named.T2]
a [Std_internal.Typerep.Named.T1]
arity [Variant_and_record_intf.M.Tag]
arity [Std_internal.Typerep.Tuple]
arity [Std_internal.Typerep.Named]
array [Type_generic.Computation]

B
b [Std_internal.Typerep.Named.T5]
b [Std_internal.Typerep.Named.T4]
b [Std_internal.Typerep.Named.T3]
b [Std_internal.Typerep.Named.T2]
bool [Type_generic.Computation]

C
c [Std_internal.Typerep.Named.T5]
c [Std_internal.Typerep.Named.T4]
c [Std_internal.Typerep.Named.T3]
char [Type_generic.Computation]
compare [Typename.Uid]
compare [Typename.Key]
compute [Type_generic_intf.M.S5]
compute [Type_generic_intf.M.S4]
compute [Type_generic_intf.M.S3]
compute [Type_generic_intf.M.S2]
compute [Type_generic_intf.M.S1]
compute [Type_generic_intf.M.S0]
conv [Type_equal]
type-safe conversion between equal types
create [Variant_and_record_intf.M.Record]
create [Variant_and_record_intf.M.Tag]
create [Typename.Table]
create [Typename]
create [Type_generic.Named.Context]
ctyp [Pa_typerep_conv.Tuple]

D
d [Std_internal.Typerep.Named.T5]
d [Std_internal.Typerep.Named.T4]
double_array_value [Typerep_obj]

E
e [Std_internal.Typerep.Named.T5]
equal [Typename.Uid]
equal [Typename.Key]
expr [Pa_typerep_conv.Variant_case]
expr and patt for the constructor
expr [Pa_typerep_conv.Tuple]

F
field [Variant_and_record_intf.M.Record]
fields [Pa_typerep_conv.Branches]
find [Typename.Table]
float [Type_generic.Computation]
fold [Variant_and_record_intf.M.Record]
fold [Variant_and_record_intf.M.Variant]
function_ [Type_generic.Computation]

G
get [Variant_and_record_intf.M.Field]
get_wip_computation [Type_generic.Named]

H
has_double_array_tag [Variant_and_record_intf.M.Record]
has_double_array_tag [Typerep_obj]
hash [Typename.Uid]
hash [Typename.Key]
hash_variant [Typerep_obj]
head [Std_internal.Typerep]
head ty is used to traverse the Named constructor.

I
ident [Type_generic.S]
index [Variant_and_record_intf.M.Field]
index [Variant_and_record_intf.M.Tag]
init [Type_generic.Named]
int [Type_generic.Computation]
int32 [Type_generic.Computation]
int64 [Type_generic.Computation]
internal_use_only [Variant_and_record_intf.M.Record]
internal_use_only [Variant_and_record_intf.M.Field]
internal_use_only [Variant_and_record_intf.M.Variant]
internal_use_only [Variant_and_record_intf.M.Tag]
is_polymorphic [Variant_and_record_intf.M.Variant]

K
key [Typename]

L
label [Variant_and_record_intf.M.Field]
label [Variant_and_record_intf.M.Tag]
lazy_t [Type_generic.Computation]
length [Variant_and_record_intf.M.Record]
length [Variant_and_record_intf.M.Variant]
lift [Type_equal.Lift]
list [Type_generic.Computation]

M
map_record [Type_generic.Helper]
map_variant [Type_generic.Helper]
mem [Typename.Table]

N
name [Std_internal.Typerep.Named]
name [Typename.Uid]
name [Typename]
name [Named_intf.S5]
name [Named_intf.S4]
name [Named_intf.S3]
name [Named_intf.S2]
name [Named_intf.S1]
name [Named_intf.S0]
named [Make_typename.Make5]
named [Make_typename.Make4]
named [Make_typename.Make3]
named [Make_typename.Make2]
named [Make_typename.Make1]
named [Make_typename.Make0]
nativeint [Type_generic.Computation]

O
ocaml_repr [Variant_and_record_intf.M.Tag]
ocaml_repr [Pa_typerep_conv.Variant_case]
of_typerep [Type_generic.S]
main function : compute the generic computation from the typerep
option [Type_generic.Computation]

P
patt [Pa_typerep_conv.Variant_case]
patt [Pa_typerep_conv.Tuple]

R
record [Type_generic.Computation]
ref_ [Type_generic.Computation]
refl [Type_equal]
type equality is reflexive
register [Type_generic.S]
special less scary type when the type has no parameters.
register0 [Type_generic.S]
Extending an existing generic for a particular type name
register1 [Type_generic.S]
register2 [Type_generic.S]
register3 [Type_generic.S]
register4 [Type_generic.S]
register5 [Type_generic.S]
repr_of_poly_variant [Typerep_obj]

S
same [Std_internal.Typerep]
same t t' will return a proof a equality if t and t' are the same type.
same [Typename]
nominal type equality test
same_witness [Std_internal.Typerep]
same_witness [Typename]
same_witness_exn [Std_internal.Typerep]
same_witness_exn [Typename]
set [Typename.Table]
set_final_computation [Type_generic.Named]
share [Type_generic.Named]
It might be interesting to inline some computation for a few typerep if they appear several times within a typerep.
static [Typename]
string [Type_generic.Computation]

T
tag [Variant_and_record_intf.M.Variant]
traverse [Variant_and_record_intf.M.Field]
traverse [Variant_and_record_intf.M.Tag]
tuple2 [Type_generic.Computation]
tuple3 [Type_generic.Computation]
tuple4 [Type_generic.Computation]
tuple5 [Type_generic.Computation]
tyid [Variant_and_record_intf.M.Field]
tyid [Variant_and_record_intf.M.Tag]
typename_of_array [Std_internal]
typename_of_bool [Std_internal]
typename_of_char [Std_internal]
typename_of_float [Std_internal]
typename_of_function [Std_internal]
typename_of_int [Std_internal]
typename_of_int32 [Std_internal]
typename_of_int64 [Std_internal]
typename_of_lazy_t [Std_internal]
typename_of_list [Std_internal]
typename_of_named [Std_internal.Typerep.Named.T5]
typename_of_named [Std_internal.Typerep.Named.T4]
typename_of_named [Std_internal.Typerep.Named.T3]
typename_of_named [Std_internal.Typerep.Named.T2]
typename_of_named [Std_internal.Typerep.Named.T1]
typename_of_named [Std_internal.Typerep.Named.T0]
typename_of_nativeint [Std_internal]
typename_of_option [Std_internal]
typename_of_ref [Std_internal]
typename_of_string [Std_internal]
typename_of_t [Variant_and_record_intf.M.Record]
typename_of_t [Variant_and_record_intf.M.Variant]
typename_of_t [Std_internal.Typerep.Tuple]
typename_of_t [Std_internal.Typerep.Named.T5]
typename_of_t [Std_internal.Typerep.Named.T4]
typename_of_t [Std_internal.Typerep.Named.T3]
typename_of_t [Std_internal.Typerep.Named.T2]
typename_of_t [Std_internal.Typerep.Named.T1]
typename_of_t [Std_internal.Typerep.Named.T0]
typename_of_t [Std_internal.Typerep.Named]
typename_of_t [Std_internal.Typerep]
typename_of_t [Typename.S5]
typename_of_t [Typename.S4]
typename_of_t [Typename.S3]
typename_of_t [Typename.S2]
typename_of_t [Typename.S1]
typename_of_t [Typename.S0]
typename_of_t [Typerepable.S5]
typename_of_t [Typerepable.S4]
typename_of_t [Typerepable.S3]
typename_of_t [Typerepable.S2]
typename_of_t [Typerepable.S1]
typename_of_t [Typerepable.S0]
typename_of_t [Make_typename.Make5]
typename_of_t [Make_typename.Make4]
typename_of_t [Make_typename.Make3]
typename_of_t [Make_typename.Make2]
typename_of_t [Make_typename.Make1]
typename_of_t [Make_typename.Make0]
typename_of_tuple0 [Std_internal]
typename_of_tuple2 [Std_internal]
typename_of_tuple3 [Std_internal]
typename_of_tuple4 [Std_internal]
typename_of_tuple5 [Std_internal]
typename_of_unit [Std_internal]
typerep_of_array [Std_internal]
typerep_of_bool [Std_internal]
typerep_of_char [Std_internal]
typerep_of_float [Std_internal]
typerep_of_function [Std_internal]
typerep_of_int [Std_internal]
typerep_of_int32 [Std_internal]
typerep_of_int64 [Std_internal]
typerep_of_lazy_t [Std_internal]
typerep_of_list [Std_internal]
typerep_of_nativeint [Std_internal]
typerep_of_option [Std_internal]
typerep_of_ref [Std_internal]
typerep_of_string [Std_internal]
typerep_of_t [Typerepable.S5]
typerep_of_t [Typerepable.S4]
typerep_of_t [Typerepable.S3]
typerep_of_t [Typerepable.S2]
typerep_of_t [Typerepable.S1]
typerep_of_t [Typerepable.S0]
typerep_of_tuple0 [Std_internal]
typerep_of_tuple2 [Std_internal]
typerep_of_tuple3 [Std_internal]
typerep_of_tuple4 [Std_internal]
typerep_of_tuple5 [Std_internal]
typerep_of_unit [Std_internal]

U
uid [Typename]
unit [Type_generic.Computation]

V
value [Variant_and_record_intf.M.Variant]
value_tuple0 [Std_internal]
variant [Type_generic.Computation]
variants [Pa_typerep_conv.Branches]

W
witness [Std_internal.Typerep.Named.T5]
witness [Std_internal.Typerep.Named.T4]
witness [Std_internal.Typerep.Named.T3]
witness [Std_internal.Typerep.Named.T2]
witness [Std_internal.Typerep.Named.T1]
witness [Std_internal.Typerep.Named.T0]
witness [Typename.Same_witness_exn_5]
witness [Typename.Same_witness_exn_4]
witness [Typename.Same_witness_exn_3]
witness [Typename.Same_witness_exn_2]
witness [Typename.Same_witness_exn_1]