Module RteGen

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