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.