sig
  type t
  val get : Db.Properties.Status.S.t -> Cil_types.annotation_status
  val set : Db.Properties.Status.S.t -> Cil_types.annotation_status -> unit
  val update :
    Db.Properties.Status.S.t -> Cil_types.annotation_status -> unit
  val get_all : Db.Properties.Status.S.t -> Cil_types.annotation_status list
  val strongest : Db.Properties.Status.S.t -> Cil_types.annotation_status
end