module Api:sig
..end
Global data management
val split_slice : SlicingInternals.fct_slice -> SlicingInternals.fct_slice list
val merge_slices : SlicingInternals.fct_slice ->
SlicingInternals.fct_slice -> replace:bool -> SlicingInternals.fct_slice
val copy_slice : SlicingInternals.fct_slice -> SlicingInternals.fct_slice
val self : State.t
val set_modes : ?calls:SlicingParameters.Mode.Calls.t ->
?callers:SlicingParameters.Mode.Callers.t ->
?sliceUndef:SlicingParameters.Mode.SliceUndef.t ->
?keepAnnotations:SlicingParameters.Mode.KeepAnnotations.t -> unit -> unit
module Project:sig
..end
Slicing project
module Mark:sig
..end
Mark
module Select:sig
..end
Selection
module Slice:sig
..end
Slice
module Request:sig
..end
Slicing request