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
|