Std (typerep_extended.experimental.Typerep

include Typerep_extended.Std

module Farray = Typerep_extended.Farray

module Flat_map = Typerep_extended.Flat_map

module Tagged = Typerep_extended.Tagged

module Traverse_map = Typerep_extended.Traverse_map

module Type_struct = Typerep_extended.Type_struct

module Typestructable = Typerep_extended.Typestructable

module Tagged_generic = Typerep_extended.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