Module Type_immediacy.Always

type 'a t
val of_typerep : 'a Core_kernel__Import.Typerep.t -> 'a t Base.Option.t
val of_typerep_exn : Source_code_position.t -> 'a Core_kernel__Import.Typerep.t -> 'a t
val int_as_value : 'a t -> Base.Int.t -> 'a Base.Option.t
val int_as_value_exn : 'a t -> Base.Int.t -> 'a
val int_is_value : 'a t -> Base.Int.t -> Base.Bool.t
val value_as_int : 'a t -> 'a -> Base.Int.t
module For_all_parameters_S1 : functor (X : Typerep_lib.Typerepable.S1) -> sig ... end
module For_all_parameters_S2 : functor (X : Typerep_lib.Typerepable.S2) -> sig ... end
module For_all_parameters_S3 : functor (X : Typerep_lib.Typerepable.S3) -> sig ... end
module For_all_parameters_S4 : functor (X : Typerep_lib.Typerepable.S4) -> sig ... end
module For_all_parameters_S5 : functor (X : Typerep_lib.Typerepable.S5) -> sig ... end
val int : Base.Int.t t
val char : Base.Char.t t
val bool : Base.Bool.t t
val unit : Base.Unit.t t