Functor Plugin.General_services.Bool


module Bool: 
functor (X : sig
include Plugin.Parameter_input
val default : bool
The default value of the parameter. So giving the option option_name to Frama-C, change the value of the parameter to not default.
end) -> Plugin.Bool
Parameters:
X : sig include Parameter_input val default: bool (** The default value of the parameter. So giving the option [option_name] to Frama-C, change the value of the parameter to [not default]. *) end

include Plugin.Parameter
val on : unit -> unit
Set the boolean to true.
val off : unit -> unit
Set the boolean to false.