Up

Module Tagged

Signature

type t
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.Std.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.Std.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)
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.Std.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.Std.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