Module `Type_immediacy.Sometimes`

val of_typerep : 'a Core_kernel__.Import.Typerep.t -> 'a t Core_kernel__.Import.option
val of_typerep_exn : Core_kernel.Source_code_position.t -> 'a Core_kernel__.Import.Typerep.t -> 'a t
val int_as_value : 'a t -> Core_kernel__.Import.int -> 'a Core_kernel__.Import.option
val int_as_value_exn : 'a t -> Core_kernel__.Import.int -> 'a
val int_is_value : 'a t -> Core_kernel__.Import.int -> Core_kernel__.Import.bool
val value_as_int : 'a t -> 'a -> Core_kernel__.Import.int Core_kernel__.Import.option
val value_as_int_exn : 'a t -> 'a -> Core_kernel__.Import.int
val value_is_int : 'a t -> 'a -> Core_kernel__.Import.bool

module For_all_parameters_S1 : functor (X : Core_kernel__.Import.Typerepable.S1) -> sig ... end

module For_all_parameters_S2 : functor (X : Core_kernel__.Import.Typerepable.S2) -> sig ... end

module For_all_parameters_S3 : functor (X : Core_kernel__.Import.Typerepable.S3) -> sig ... end

module For_all_parameters_S4 : functor (X : Core_kernel__.Import.Typerepable.S4) -> sig ... end

module For_all_parameters_S5 : functor (X : Core_kernel__.Import.Typerepable.S5) -> sig ... end