Module Db.Slicing

module Slicing: sig .. end
Interface for the slicing tool.
See also internal documentation.

val self : State.t Pervasives.ref
Internal state of the slicing tool from project viewpoints.
val set_modes : (?calls:int ->
?callers:bool ->
?sliceUndef:bool -> ?keepAnnotations:bool -> ?print:bool -> unit -> unit)
Pervasives.ref
module Project: sig .. end
Slicing project management.
module Mark: sig .. end
Access to slicing results.
module Select: sig .. end
Slicing selections.
module Slice: sig .. end
Function slice.
module Request: sig .. end
Requests for slicing jobs.