Up

Module Sometimes

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 option

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

val value_is_int : 'a t -> 'a -> bool

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 option : _ option t

val list : _ list t