Module RteGen

module RteGen: sig .. end

No function is directly exported: they are registered in Db.Value.