Module Eval.Status


module Status: sig .. end

val join : Property.t -> Cil_types.annotation_status -> unit