# Index of modules

B
Branches [Pa_typerep_conv] |
C
Computation [Type_generic.S] | exported to build a computation on top of a previous one
Context [Type_generic.Named] | Work in progress representation of a computation.
F
Field [Variant_and_record_intf.M] | Witness of a field, that is an item in a record type.
Field_case [Pa_typerep_conv] |
Field_internal [Variant_and_record_intf.M] |
H
Helper [Type_generic] |
I
Ident [Type_generic] |
K
Key [Typename] | a runtime representation of fully applied type `'a`
L
Lift [Type_equal] | needed in some cases even though t is exported and is a gadt
M
M [Variant_and_record_intf] |
M [Type_generic_intf] |
Make [Type_generic] | The `name` is used for debug information only in case of Broken_dependency.
Make0 [Typename] |
Make0 [Type_abstract] |
Make0 [Make_typename] |
Make1 [Typename] |
Make1 [Type_abstract] |
Make1 [Make_typename] |
Make2 [Typename] |
Make2 [Type_abstract] |
Make2 [Make_typename] |
Make3 [Typename] |
Make3 [Type_abstract] |
Make3 [Make_typename] |
Make4 [Typename] |
Make4 [Type_abstract] |
Make4 [Make_typename] |
Make5 [Typename] |
Make5 [Type_abstract] |
Make5 [Make_typename] |
Make_named_for_closure [Type_generic] | Not all computations are arrow types.
Make_typename [Std] |
Make_typename |
N
Named [Std_internal.Typerep] |
Named [Type_generic.Computation] |
Named_intf |
P
Pa_typerep_conv | Pa_type_rep: Preprocessing Module for automatic type representation
R
Record [Variant_and_record_intf.M] |
Record_internal [Variant_and_record_intf.M] |
S
Same_witness_exn_1 [Typename] |
Same_witness_exn_2 [Typename] |
Same_witness_exn_3 [Typename] |
Same_witness_exn_4 [Typename] |
Same_witness_exn_5 [Typename] |
Std |
Std_internal | type-safe runtime type introspection
T
Table [Typename] |
Tag [Variant_and_record_intf.M] | Witness of a tag, that is an item in a variant type, also called an "applied variant Constructor"
Tag_internal [Variant_and_record_intf.M] |
Tuple [Std_internal.Typerep] |
Tuple [Pa_typerep_conv] |
Type_abstract | Abstract types helpers.
Type_abstract [Std] |
Type_equal | runtime witnes of type equality this is a reduced version of `Core.Std.Type_equal`.
Type_equal [Std] |
Type_generic | A computation is the type of an operation that can be applied to various different kind of types.
Type_generic [Std] |
Type_generic_intf |
Type_named_intf [Std] |
Typename | runtime representation of the name of type `'a`.
Typename [Std] |
Typerep [Std_internal] | runtime type representations
Typerep_obj | some utils related to the runtime of ocaml, used both at compile time (camlp4) and runtime.
Typerep_obj [Std] |
Typerepable |
Typerepable [Std] |
U
Uid [Typename] | an untyped runtime representation of non applied type
V
Variant [Variant_and_record_intf.M] |
Variant_and_record_intf | Place holder for common Variants and Fields interface
Variant_and_record_intf [Type_generic] |
Variant_case [Pa_typerep_conv] |
Variant_internal [Variant_and_record_intf.M] |