module type S = sig .. end
sig
end
Generic signature of a parameter.
include Parameter_sig.S_no_parameter
val parameter : Typed_parameter.t
Typed_parameter.t