module CodeAnnotation:Getting and modifying status ofS
with type t = code_annotation
code_annotation
.include Properties_status.Make_updater.S_ReadOnly
val set : t -> Cil_types.annotation_status -> unit
val update : t ->
(Cil_types.annotation_status -> Cil_types.annotation_status) ->
Cil_types.annotation_status