Std (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

module Typerep : sig .. end

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

Module Std

Signature