Module Security_slicing_parameters

module Security_slicing_parameters: sig .. end

Security parameters



include Plugin.S
module Slicing: Parameter_sig.Bool 
Perform the security slicing pre-analysis.