Module Api

module Api: sig .. end
Global data management


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

Global setting


val self : State.t

Functions with journalized side effects


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
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
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