Module Typerep_extended.Std

module Farray = Farray
module Flat_map = Flat_map
module Tagged = Tagged
module Traverse_map = Traverse_map
module Type_struct = Type_struct
module Typestructable = Typestructable
module Tagged_generic = Tagged_generic
include Typerep_lib.Std
module Type_abstract = Typerep_lib.Type_abstract
module Type_equal = Typerep_lib.Type_equal
module Type_generic = Typerep_lib.Type_generic
module Typename = Typerep_lib.Typename
module Make_typename = Typerep_lib.Make_typename
module Type_named_intf = Typerep_lib.Named_intf
module Typerepable = Typerep_lib.Typerepable
module Typerep_obj = Typerep_lib.Typerep_obj
include Typerep_lib.Std_internal

type-safe runtime type introspection

module Typerep = Typerep_lib.Std_internal.Typerep

runtime type representations

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
type tuple0
val value_tuple0 : tuple0
val typerep_of_option : 'a Typerep.t ‑> 'a option Typerep.t
val typerep_of_list : 'a Typerep.t ‑> 'a list Typerep.t
val typerep_of_array : 'a Typerep.t ‑> 'a array Typerep.t
val typerep_of_lazy_t : 'a Typerep.t ‑> 'a lazy_t Typerep.t
val typerep_of_ref : 'a Typerep.t ‑> 'a Pervasives.ref Typerep.t
val typerep_of_function : 'a Typerep.t ‑> 'b Typerep.t ‑> ('a ‑> 'b) Typerep.t
val typerep_of_tuple0 : tuple0 Typerep.t
val typerep_of_tuple2 : 'a Typerep.t ‑> 'b Typerep.t ‑> ('a * 'b) Typerep.t
val typerep_of_tuple3 : 'a Typerep.t ‑> 'b Typerep.t ‑> 'c Typerep.t ‑> ('a * 'b * 'c) Typerep.t
val typerep_of_tuple4 : 'a Typerep.t ‑> 'b Typerep.t ‑> 'c Typerep.t ‑> 'd Typerep.t ‑> ('a * 'b * 'c * 'd) Typerep.t
val typerep_of_tuple5 : 'a Typerep.t ‑> 'b Typerep.t ‑> 'c Typerep.t ‑> 'd Typerep.t ‑> 'e Typerep.t ‑> ('a * 'b * 'c * 'd * 'e) Typerep.t
val typename_of_int : int Typerep_lib.Typename.t
val typename_of_int32 : int32 Typerep_lib.Typename.t
val typename_of_int64 : int64 Typerep_lib.Typename.t
val typename_of_nativeint : nativeint Typerep_lib.Typename.t
val typename_of_char : char Typerep_lib.Typename.t
val typename_of_float : float Typerep_lib.Typename.t
val typename_of_string : string Typerep_lib.Typename.t
val typename_of_bool : bool Typerep_lib.Typename.t
val typename_of_unit : unit Typerep_lib.Typename.t
val typename_of_option : 'a Typerep_lib.Typename.t ‑> 'a option Typerep_lib.Typename.t
val typename_of_list : 'a Typerep_lib.Typename.t ‑> 'a list Typerep_lib.Typename.t
val typename_of_array : 'a Typerep_lib.Typename.t ‑> 'a array Typerep_lib.Typename.t
val typename_of_lazy_t : 'a Typerep_lib.Typename.t ‑> 'a lazy_t Typerep_lib.Typename.t
val typename_of_ref : 'a Typerep_lib.Typename.t ‑> 'a Pervasives.ref Typerep_lib.Typename.t
val typename_of_function : 'a Typerep_lib.Typename.t ‑> 'b Typerep_lib.Typename.t ‑> ('a ‑> 'b) Typerep_lib.Typename.t
val typename_of_tuple0 : tuple0 Typerep_lib.Typename.t
val typename_of_tuple2 : 'a Typerep_lib.Typename.t ‑> 'b Typerep_lib.Typename.t ‑> ('a * 'b) Typerep_lib.Typename.t
val typename_of_tuple3 : 'a Typerep_lib.Typename.t ‑> 'b Typerep_lib.Typename.t ‑> 'c Typerep_lib.Typename.t ‑> ('a * 'b * 'c) Typerep_lib.Typename.t
val typename_of_tuple4 : 'a Typerep_lib.Typename.t ‑> 'b Typerep_lib.Typename.t ‑> 'c Typerep_lib.Typename.t ‑> 'd Typerep_lib.Typename.t ‑> ('a * 'b * 'c * 'd) Typerep_lib.Typename.t
val typename_of_tuple5 : 'a Typerep_lib.Typename.t ‑> 'b Typerep_lib.Typename.t ‑> 'c Typerep_lib.Typename.t ‑> 'd Typerep_lib.Typename.t ‑> 'e Typerep_lib.Typename.t ‑> ('a * 'b * 'c * 'd * 'e) Typerep_lib.Typename.t