module type Bool = sig .. end
sig
end
include Parameter_sig.S
val on : unit -> unit
unit -> unit
true
val off : unit -> unit
false