fact: Definition wf_units_def {A:Type} (u: IntMap.ptrie A) (m: hmap) : Prop := forall i, IntMap.get' i u <> None -> valid_index m i.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause