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