Module type Properties_status.Make_updater.S_ReadOnly


module type S_ReadOnly = sig .. end
Since Boron-20100401

include Properties_status.S
val get : t -> Cil_types.annotation_status
Get the status of the given annotation set by this plug-in.
Since Boron-20100401