Always.For_all_parameters_S1
X : Core_kernel__.Import.Typerepable.S1
val witness : Core_kernel__.Import.unit -> _ X.t t