Module Rte.S


module S: Properties_status.Make_updater(sig
val name : string
val emitter : State.t
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