Module `Sometimes.For_all_parameters_S3`

Parameters

module X : Typerep_lib.Typerepable.S3

Signature

val witness : Base.Unit.t -> (_, _, _) X.t t