Module Type_immediacy.Sometimes

module Sometimes: sig .. end

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: 
functor (X : Typerep_lib.Std.Typerepable.S1) -> sig .. end
module For_all_parameters_S2: 
functor (X : Typerep_lib.Std.Typerepable.S2) -> sig .. end
module For_all_parameters_S3: 
functor (X : Typerep_lib.Std.Typerepable.S3) -> sig .. end
module For_all_parameters_S4: 
functor (X : Typerep_lib.Std.Typerepable.S4) -> sig .. end
module For_all_parameters_S5: 
functor (X : Typerep_lib.Std.Typerepable.S5) -> sig .. end
val option : 'a option t
val list : 'a list t