Module Slicing

module Slicing: sig .. end

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