Module Slicing

module Slicing: sig .. end
Slicing API.

module Api: sig .. end
Slicing API.

For debugging purpose only.

API used by the tests of slicing (see tests/slicing/libSelect.ml).

module PrintSlice: sig .. end