fact: Definition IntMapForall {A:Type} (P: A -> Prop) (m: IntMap.ptrie A) := forall k r, IntMap.get' k m = Some r -> P r.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause