module U: Properties_status.Make_updater
(
sig
end
)
val set : Property.t -> Property.t list -> Cil_types.annotation_status -> unit
Set the status of an annotation.
Do not reset the dependencies of this status.
Since Carbon-20101201
val update : Property.t ->
Property.t list ->
(Cil_types.annotation_status -> Cil_types.annotation_status) ->
Cil_types.annotation_status
Update the status of a given annotation according to the old
status. Do not reset the dependencies of this status.
Since Carbon-20101201