∀ {α : Type} {root : Std.HashMap Lean.Meta.RefinedDiscrTree.Key Lean.Meta.RefinedDiscrTree.TrieIndex}
  {tries : Array (Lean.Meta.RefinedDiscrTree.Trie α)}
  {root_1 : Std.HashMap Lean.Meta.RefinedDiscrTree.Key Lean.Meta.RefinedDiscrTree.TrieIndex}
  {tries_1 : Array (Lean.Meta.RefinedDiscrTree.Trie α)},
  { root := root, tries := tries } = { root := root_1, tries := tries_1 } → root = root_1 ∧ tries = tries_1