fact: Definition eval_annot {A: Type} (eval : A -> Prop) (m: hmap) (e: Annot.t A) := eval_pset m (Annot.deps e) -> eval (Annot.elt e).
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause