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