module type S_ReadOnly = sig .. end
sig
end
include Properties_status.S
val get : t -> Cil_types.annotation_status
t -> Cil_types.annotation_status