module ConstReadonly: Parameter_sig.Bool
Parameter_sig.Bool
"const"
Cil.typeHasQualifier
include Parameter_sig.S
val on : unit -> unit
unit -> unit
true
val off : unit -> unit
false