Never.For_all_parameters_S4
X : Core_kernel__.Import.Typerepable.S4
val witness : Core_kernel__.Import.unit -> (_, _, _, _) X.t t