Lean.Name →
  Lean.Lsp.Position →
    ℕ →
      Lean.Elab.ContextInfo →
        Lean.LocalContext →
          Lean.Syntax →
            Lean.Name →
              Lean.Server.Completion.HoverInfo →
                Bool → Lean.Server.CancellableM (Array Lean.Lsp.ResolvableCompletionItem)