∀ {declName : Lean.Name} {nargs : ℕ} {declName_1 : Lean.Name} {nargs_1 : ℕ},
  Lean.Meta.RefinedDiscrTree.Key.const declName nargs = Lean.Meta.RefinedDiscrTree.Key.const declName_1 nargs_1 →
    declName = declName_1 ∧ nargs = nargs_1