module ConstReadonly:Parameter_sig.Bool
Global variables with "const"
qualifier are constant.
See also Cil.typeHasQualifier
include Parameter_sig.S
val on : unit -> unit
Set the boolean to true
.
val off : unit -> unit
Set the boolean to false
.