sig
type eval_env
type logic_deps = Locations.Zone.t Cil_datatype.Logic_label.Map.t
type labels_states = Db.Value.state Cil_datatype.Logic_label.Map.t
val env_annot :
?c_labels:Eva.Eval_terms.labels_states ->
pre:Db.Value.state ->
here:Db.Value.state -> unit -> Eva.Eval_terms.eval_env
val predicate_deps :
Eva.Eval_terms.eval_env ->
Cil_types.predicate -> Eva.Eval_terms.logic_deps option
end