Up
Next
Module
Slicing
module
Slicing:
sig
..
end
Slicing API.
No function is directly exported: they are registered in
Db
.
Slicing
.