module Register: sig .. end
sig
end
Db.Slicing
If you are more interested in the internal point of view of this module, please look at here.