sig
  val set :
    Property.t -> Property.t list -> Cil_types.annotation_status -> unit
  val update :
    Property.t ->
    Property.t list ->
    (Cil_types.annotation_status -> Cil_types.annotation_status) ->
    Cil_types.annotation_status
end