Module Register

module Register: sig .. end
This file should be empty because every API functions of the slicing module should be registered in Db.Slicing.

If you are more interested in the internal point of view of this module, please look at here.