module RteGen: sig .. end
sig
end
No function is directly exported: they are registered in Db.Value.
Db.Value