Module Api

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

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