module Api: sig
.. end
Slicing API.
val self : State.t
Internal state of the slicing tool from project viewpoints.
val set_modes : ?calls:int ->
?callers:bool -> ?sliceUndef:bool -> ?keepAnnotations:bool -> unit -> unit
Sets slicing parameters related to command line options
-slicing-level
, -slice-callers
, -slice-undef-functions
,
-slicing-keep-annotations
.
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.