Up
Index of types
A
alarm_gen
[
Rte
]
'
a alarm_gen
is an abstraction over the process of generating a certain kind of RTEs over something of type
'
a
.