'a alarm_gen is an abstraction over the process of generating a certain kind of RTEs over something of type 'a.
'a alarm_gen
'a