Module type Parameters.Boolean

module type Boolean = Generic  with type t = bool

type t 
val set : t -> unit
val get : unit -> t
val arg : string * Arg.spec * string