Module Kernel.ConstReadonly

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.