module Make_typename : sig ... endmodule Named_intf : sig ... endmodule Std : sig ... endmodule Std_internal : sig ... endtype-safe runtime type introspection
module Type_abstract : sig ... endAbstract types helpers.
module Type_equal : sig ... endmodule Type_generic : sig ... endA computation is the type of an operation that can be applied to various different kind of types. It is expressed as a type with one parameter:
module Type_generic_intf : sig ... endmodule Typename : sig ... endruntime representation of the name of type 'a. Useful for representing types with a nominal notion of equality
module Typerep_obj : sig ... endmodule Typerepable : sig ... endmodule Variant_and_record_intf : sig ... endPlace holder for common Variants and Fields interface