Functor Type_immediacy.Never.For_all_parameters_S1

module For_all_parameters_S1: 
functor (X : Typerep_lib.Std.Typerepable.S1) -> sig .. end
Parameters:
X : Typerep_lib.Std.Typerepable.S1

val witness : unit -> 'a X.t Type_immediacy.Never.t