fact: Definition eval_pset (m: hmap) (ps: LitSet.t) := forall f b, has_form m f -> OBool.lift_has_bool b (LitSet.get f.(id) ps) -> eval_literal (literal_of_bool b f).
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause