∀ {α : Type u} {β : α → Type v} [inst : BEq α] [inst_1 : Inhabited α] (a : α) (x : Std.DHashMap.Internal.AssocList α β),
  Std.DHashMap.Internal.AssocList.getKey! a x =
    match x with
    | Std.DHashMap.Internal.AssocList.nil =>
      panicWithPosWithDecl "Std.Data.DHashMap.Internal.AssocList.Basic" "Std.DHashMap.Internal.AssocList.getKey!" 168 11
        "key is not present in hash table"
    | Std.DHashMap.Internal.AssocList.cons k value es =>
      if (k == a) = true then k else Std.DHashMap.Internal.AssocList.getKey! a es