Make_typename
Named_intf
Pa_typerep_conv
Pa_type_rep: Preprocessing Module for automatic type representation
Std
Std_internal
type-safe runtime type introspection
Type_abstract
Abstract types helpers.
Type_equal
runtime witnes of type equality this is a reduced version of Core.Std.Type_equal.
Type_generic
A computation is the type of an operation that can be applied to various different kind of types.
Type_generic_intf
Typename
runtime representation of the name of type 'a.
Typerep_obj
some utils related to the runtime of ocaml, used both at compile time (camlp4) and runtime.
Typerepable
Variant_and_record_intf
Place holder for common Variants and Fields interface