Module Type_immediacy.Always

type 'a t
val of_typerep : 'a Core_kernel__.Import.Typerep.t -> 'a t Core_kernel__.Import.option
val of_typerep_exn : 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
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
val int : Core_kernel__.Import.int t
val char : Core_kernel__.Import.char t
val bool : Core_kernel__.Import.bool t
val unit : Core_kernel__.Import.unit t