fact: Definition eval_units (m : hmap) (u : IntMap.ptrie (Annot.t bool)) := forall_units (Annot.lift eval_literal) m u.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause