Module SlicingParameters

module SlicingParameters: sig .. end

Slicing

Slicing options


include Plugin.S
module Select: sig .. end
module Mode: sig .. end
module ProjectName: Parameter_sig.String 
module ExportedProjectPostfix: Parameter_sig.String 
val is_on : unit -> bool
val set_off : unit -> unit
val clear : unit -> unit
val wkey_cmdline : warn_category