fact: Definition hmap_order (h h' : hmap) := forall k v, IntMap.get' k h = Some v -> IntMap.get' k h' = Some v.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause