module Register: sig .. end
sig
end
Functions of the Value plugin registered in Db.
Db
Nothing is exported.