module Type_abstract = Type_abstract
module Type_equal = Type_equal
module Type_generic = Type_generic
module Typename = Typename
module Make_typename = Make_typename
module Type_named_intf = Named_intf
module Typerepable = Typerepable
module Typerep_obj = Typerep_obj
include Std_internal
type-safe runtime type introspection
val typerep_of_int : int Typerep.t
val typerep_of_int32 : int32 Typerep.t
val typerep_of_int64 : int64 Typerep.t
val typerep_of_nativeint : nativeint Typerep.t
val typerep_of_char : char Typerep.t
val typerep_of_float : float Typerep.t
val typerep_of_string : string Typerep.t
val typerep_of_bool : bool Typerep.t
val typerep_of_unit : unit Typerep.t
val value_tuple0 : tuple0
val typename_of_int : int Typename.t
val typename_of_int32 : int32 Typename.t
val typename_of_int64 : int64 Typename.t
val typename_of_nativeint : nativeint Typename.t
val typename_of_char : char Typename.t
val typename_of_float : float Typename.t
val typename_of_string : string Typename.t
val typename_of_bool : bool Typename.t
val typename_of_unit : unit Typename.t
val typename_of_option : 'a Typename.t ‑> 'a option Typename.t
val typename_of_list : 'a Typename.t ‑> 'a list Typename.t
val typename_of_array : 'a Typename.t ‑> 'a array Typename.t
val typename_of_lazy_t : 'a Typename.t ‑> 'a lazy_t Typename.t
val typename_of_ref : 'a Typename.t ‑> 'a Pervasives.ref Typename.t
val typename_of_function : 'a Typename.t ‑> 'b Typename.t ‑> ('a ‑> 'b) Typename.t
val typename_of_tuple0 : tuple0 Typename.t
val typename_of_tuple2 : 'a Typename.t ‑> 'b Typename.t ‑> ('a * 'b) Typename.t
val typename_of_tuple3 : 'a Typename.t ‑> 'b Typename.t ‑> 'c Typename.t ‑> ('a * 'b * 'c) Typename.t
val typename_of_tuple4 : 'a Typename.t ‑> 'b Typename.t ‑> 'c Typename.t ‑> 'd Typename.t ‑> ('a * 'b * 'c * 'd) Typename.t
val typename_of_tuple5 : 'a Typename.t ‑> 'b Typename.t ‑> 'c Typename.t ‑> 'd Typename.t ‑> 'e Typename.t ‑> ('a * 'b * 'c * 'd * 'e) Typename.t