module Slicing: Parameter_sig.Bool
Parameter_sig.Bool
Perform the security slicing pre-analysis.
include Parameter_sig.S
val on : unit -> unit
unit -> unit
Set the boolean to true.
true
val off : unit -> unit
Set the boolean to false.
false