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