Module Eval.Status


module Status: sig .. end

val join : S.CodeAnnotation.t -> Cil_types.annotation_status -> unit
val join_predicate : S.Predicate.t -> Cil_types.annotation_status -> unit