module Slicing: sig
.. end
exception No_Project
exception Existing_Project
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
Acces to slicing results.
module Select: sig
.. end
Slicing selections.
module Slice: sig
.. end
Function slice.
module Request: sig
.. end
Requests for slicing jobs.