module Status:sig
..end
include Datatype.S_with_collections
val join : Alarmset.status -> Alarmset.status -> Alarmset.status
val join_list : Alarmset.status list -> Alarmset.status
val inter : Alarmset.status -> Alarmset.status -> Alarmset.status Alarmset.if_consistent