module Bool:functor (
X
:
sig
include Kernel.Parameter_input
val default :bool
The default value of the parameter. So giving the optionoption_name
to Frama-C, change the value of the parameter tonot default
.
end
) ->
Plugin.BOOL
Parameters: |
|
include Plugin.Parameter
val on : unit -> unit
true
.val off : unit -> unit
false
.