module Status: sig .. end
sig
end
val join : S.CodeAnnotation.t -> Cil_types.annotation_status -> unit
S.CodeAnnotation.t -> Cil_types.annotation_status -> unit
val join_predicate : S.Predicate.t -> Cil_types.annotation_status -> unit
S.Predicate.t -> Cil_types.annotation_status -> unit