fact: Definition eqb_map {A: Type} (f : A -> bool) (m: IntMap.ptrie bool) (m': IntMap.ptrie A) : bool := IntMap.beq' (fun x y => Bool.eqb x (f y)) m m'.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause