sig
  val add_red_alarm : Cil_types.kinstr -> Alarms.t -> unit
  val add_red_property : Cil_types.kinstr -> Property.t -> unit
  type alarm_or_property = Alarm of Alarms.t | Prop of Property.t
  module AlarmOrProp :
    sig
      val ty : alarm_or_property Type.t
      val name : string
      val descr : alarm_or_property Descr.t
      val packed_descr : Structural_descr.pack
      val reprs : alarm_or_property list
      val equal : alarm_or_property -> alarm_or_property -> bool
      val compare : alarm_or_property -> alarm_or_property -> int
      val hash : alarm_or_property -> int
      val pretty_code : Format.formatter -> alarm_or_property -> unit
      val internal_pretty_code :
        Type.precedence -> Format.formatter -> alarm_or_property -> unit
      val pretty : Format.formatter -> alarm_or_property -> unit
      val varname : alarm_or_property -> string
      val mem_project :
        (Project_skeleton.t -> bool) -> alarm_or_property -> bool
      val copy : alarm_or_property -> alarm_or_property
    end
  val is_red_in_callstack :
    Cil_types.kinstr ->
    Red_statuses.alarm_or_property -> Value_types.callstack -> bool
  val get_all :
    unit -> (Cil_types.kinstr * Red_statuses.alarm_or_property * int) list
end