Functor Type_immediacy.Never.For_all_parameters_S4

module For_all_parameters_S4: 
functor (X : Typerep_lib.Std.Typerepable.S4) -> sig .. end
Parameters:
X : Typerep_lib.Std.Typerepable.S4

val witness : unit -> ('a, 'b, 'c, 'd) X.t Type_immediacy.Never.t