Always.For_all_parameters_S2
X : Core_kernel__.Import.Typerepable.S2
val witness : Core_kernel__.Import.unit -> (_, _) X.t t