module Status: sig .. end
sig
end
val join : Property.t -> Cil_types.annotation_status -> unit
Property.t -> Cil_types.annotation_status -> unit