Module Sometimes.For_all_parameters_S5
Parameters
Signature
val witness : Core_kernel__.Import.unit -> (_, _, _, _, _) X.t t
Sometimes.For_all_parameters_S5
val witness : Core_kernel__.Import.unit -> (_, _, _, _, _) X.t t