Module Type_immediacy.Never

type 'a t
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
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 int32 : Core_kernel__.Import.int32 t
val int64 : Core_kernel__.Import.int64 t
val nativeint : Core_kernel__.Import.nativeint t
val float : Core_kernel__.Import.float t
val string : Core_kernel__.Import.string t
val bytes : Core_kernel__.Import.bytes t
val array : _ Core_kernel__.Import.array t
val ref_ : _ Core_kernel__.Import.ref t
val tuple2 : (_ * _) t
val tuple3 : (_ * _ * _) t
val tuple4 : (_ * _ * _ * _) t
val tuple5 : (_ * _ * _ * _ * _) t