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