Always.For_all_parameters_S1
module X : Typerep_lib.Typerepable.S1
val witness : Base.Unit.t -> _ X.t t