fact: Definition all_deps_covered (hm: hmap) (P : LitSet.t -> Prop) (Q : literal -> Prop) := forall p, P p -> is_covered_deps hm p Q.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause