fact: Definition is_literal_of_units (u: IntMap.ptrie (Annot.t bool)) (l:literal) := exists b, IntMap.get' (id_of_literal l) u = Some b /\ is_positive_literal l = Annot.elt b.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause