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]