Module Slicing

module Slicing: sig .. end
Slicing API.


No function is directly exported: they are registered in Db.Slicing.

No function is directly exported: they are registered in Db.Slicing.

Debugging purpose only.

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

module PrintSlice: sig .. end