Module Slicing

module Slicing: sig .. end
Slicing API.


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