module type S =Since Boron-20100401sig
..end
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