fact: Definition is_pset_units (u: IntMap.ptrie (Annot.t bool)) (d: LitSet.t) := exists i b, IntMap.get' i u = Some b /\ d = Annot.deps b.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause