Module Typerep_extended.Tagged

type t
include sig ... end
val sexp_of_t : t ‑> Sexplib.Sexp.t
type untyped = t
val t_of_int : int ‑> t
val t_of_int32 : int32 ‑> t
val t_of_int64 : int64 ‑> t
val t_of_nativeint : nativeint ‑> t
val t_of_char : char ‑> t
val t_of_float : float ‑> t
val t_of_string : string ‑> t
val t_of_bool : bool ‑> t
val t_of_unit : unit ‑> t
val t_of_option : ('a ‑> t) ‑> 'a option ‑> t
val t_of_list : ('a ‑> t) ‑> 'a list ‑> t
val t_of_array : ('a ‑> t) ‑> 'a array ‑> t
val t_of_lazy_t : ('a ‑> t) ‑> 'a lazy_t ‑> t
val t_of_ref : ('a ‑> t) ‑> 'a Core_kernel.ref ‑> t
val t_of_option' : t option ‑> t
val t_of_list' : t list ‑> t
val t_of_array' : t array ‑> t
val t_of_ref' : t Core_kernel.ref ‑> t
val t_of_lazy_t' : t lazy_t ‑> t
val t_of_tuple' : t Farray.t ‑> t
val t_of_tuple2' : (t * t) ‑> t
val t_of_tuple3' : (t * t * t) ‑> t
val t_of_tuple4' : (t * t * t * t) ‑> t
val t_of_tuple5' : (t * t * t * t * t) ‑> t
exception Unexpected of t * string
include sig ... end
val int_of_t : t ‑> int
val int32_of_t : t ‑> int32
val int64_of_t : t ‑> int64
val nativeint_of_t : t ‑> nativeint
val char_of_t : t ‑> char
val float_of_t : t ‑> float
val string_of_t : t ‑> string
val bool_of_t : t ‑> bool
val unit_of_t : t ‑> unit
val option_of_t : (t ‑> 'a) ‑> t ‑> 'a option
val list_of_t : (t ‑> 'a) ‑> t ‑> 'a list
val array_of_t : (t ‑> 'a) ‑> t ‑> 'a array
val lazy_t_of_t : (t ‑> 'a) ‑> t ‑> 'a lazy_t
val ref_of_t : (t ‑> 'a) ‑> t ‑> 'a Core_kernel.ref
val option_of_t' : t ‑> t option
val list_of_t' : t ‑> t list
val array_of_t' : t ‑> t array
val ref_of_t' : t ‑> t Core_kernel.ref
val lazy_t_of_t' : t ‑> t lazy_t
val tuple_of_t' : t ‑> t Farray.t
val tuple2_of_t' : t ‑> t * t
val tuple3_of_t' : t ‑> t * t * t
val tuple4_of_t' : t ‑> t * t * t * t
val tuple5_of_t' : t ‑> t * t * t * t * t
module Of_typed : Typerep_lib.Std.Type_generic.S with type 'a t = 'a ‑> t
module Typed_of : Typerep_lib.Std.Type_generic.S with type 'a t = t ‑> 'a
module Record : sig ... end
module Variant : sig ... end
val field : int ‑> t ‑> t