RteGen plugin


Directory plugins

Section Rte (in plugins/rte)


Generator
Options
Register
Rte
'a alarm_gen is an abstraction over the process of generating a certain kind of RTEs over something of type 'a.
RteGen
No function is directly exported: they are registered in Db.Value.
Visit
Generates RTE for a single function.