{α : Type} →
  Lean.Core.Context →
    Lean.Environment →
      Lean.Name →
        Lean.Meta.LazyDiscrTree.ImportData →
          IO.Ref Lean.Meta.LazyDiscrTree.Cache →
            Lean.Meta.LazyDiscrTree.PreDiscrTree α →
              (Lean.Name → Lean.ConstantInfo → Lean.MetaM (Array (Lean.Meta.LazyDiscrTree.InitEntry α))) →
                Lean.Name → Lean.ConstantInfo → BaseIO (Lean.Meta.LazyDiscrTree.PreDiscrTree α)