fact: Definition get_atom (m: hmap) (k: int) := match IntMap.get' k m with | None => None | Some (d,f) => match f with | LAT a => Some (HCons.mk k d f) | _ => None end end.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause