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