module Slicing: sig .. end
sig
end
Db.Slicing
API used by the tests of slicing (see tests/slicing/libSelect.ml).
module PrintSlice: sig .. end