Up

Module Always

Signature

type 'a t

val of_typerep : 'a Typerep_lib.Std.Typerep.t -> 'a t option

val int_as_value : 'a t -> int -> 'a option

val int_as_value_exn : 'a t -> int -> 'a

val int_is_value : 'a t -> int -> bool

val value_as_int : 'a t -> 'a -> int

module For_all_parameters_S1 (X : Typerep_lib.Std.Typerepable.S1) : sig .. end

module For_all_parameters_S2 (X : Typerep_lib.Std.Typerepable.S2) : sig .. end

module For_all_parameters_S3 (X : Typerep_lib.Std.Typerepable.S3) : sig .. end

module For_all_parameters_S4 (X : Typerep_lib.Std.Typerepable.S4) : sig .. end

module For_all_parameters_S5 (X : Typerep_lib.Std.Typerepable.S5) : sig .. end

val int : int t

val char : char t

val bool : bool t

val unit : unit t