sig
  type t =
      Division_alarm
    | Memory_alarm
    | Index_alarm
    | Shift_alarm
    | Pointer_compare_alarm
    | Signed_overflow_alarm
    | Using_nan_or_infinite_alarm
    | Result_is_nan_or_infinite_alarm
    | Separation_alarm
    | Other_alarm
  val pretty : Format.formatter -> Alarms.t -> unit
  val register :
    Cil_types.kinstr -> Alarms.t -> Cil_types.code_annotation -> bool
  val clear : unit -> unit
  val iter :
    (Cil_types.kinstr -> Alarms.t * Cil_types.code_annotation -> unit) ->
    unit
  val fold :
    (Cil_types.kinstr -> Alarms.t * Cil_types.code_annotation -> '-> 'a) ->
    '-> 'a
  val fold_kinstr :
    Cil_types.kinstr ->
    (Alarms.t * Cil_types.code_annotation -> '-> 'a) -> '-> 'a
  val self : Project.Computation.t
end