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.
|