fact: Definition set (A:Type) (i:int) (v:A) (m : IntMap.ptrie A) := IntMap.set' i v m.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause