Module Security_slicing_parameters.Slicing

module Slicing: Parameter_sig.Bool 

Perform the security slicing pre-analysis.


include Parameter_sig.S
val on : unit -> unit

Set the boolean to true.

val off : unit -> unit

Set the boolean to false.