Lean.Lsp.DocumentUri →
  Lean.Lsp.Position →
    Lean.FileMap →
      String.Pos.Raw →
        Lean.Syntax →
          Lean.Elab.InfoTree → Lean.Lsp.ClientCapabilities → Lean.Server.CancellableM Lean.Lsp.ResolvableCompletionList