{α : Type} →
  Array α →
    Lean.Meta.LazyDiscrTree.TrieIndex →
      Std.HashMap Lean.Meta.LazyDiscrTree.Key Lean.Meta.LazyDiscrTree.TrieIndex →
        Array (Lean.Meta.LazyDiscrTree.LazyEntry α) → Lean.Meta.LazyDiscrTree.Trie α