fact: Definition is_pset_state (st: state) (d: LitSet.t) := is_pset_units (units st) d \/ is_pset_stack (unit_stack st) d.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause