# Module Type_immediacy.Never

    module Never: sig .. end

    type 'a t

    val of_typerep : 'a Typerep_lib.Std.Typerep.t -> 'a t option

    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 int32 : int32 t

    val int64 : int64 t

    val nativeint : nativeint t

    val float : float t

    val string : string t

    val array : 'a array t

    val ref_ : 'a Pervasives.ref t

    val tuple2 : ('a * 'b) t

    val tuple3 : ('a * 'b * 'c) t

    val tuple4 : ('a * 'b * 'c * 'd) t

    val tuple5 : ('a * 'b * 'c * 'd * 'e) t