Never.For_all_parameters_S2
module X : Typerep_lib.Typerepable.S2
val witness : Base.Unit.t -> (_, _) X.t t