fact: Definition map_bool_of_ptrie {A: Type} (f: A -> bool) (m: IntMap.ptrie (key:=int) A) : IntMap.ptrie bool := IntMap.map1' f m.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause