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.