module Complete: S
with type t = kernel_function * kinstr * string list
Getting and modifying status of complete behaviors clause.
Since Boron-20100401
include Properties_status.Make_updater.S_ReadOnly
val set : t -> Cil_types.annotation_status -> unit
Set the status of an annotation.
Since Boron-20100401
val update : t ->
(Cil_types.annotation_status -> Cil_types.annotation_status) ->
Cil_types.annotation_status
Update the status of a given annotation according to the old
status.
Since Boron-20100401