def Lean.Server.Completion.find? (params : Lean.Lsp.CompletionParams) (fileMap : Lean.FileMap) (hoverPos : String.Pos) (cmdStx : Lean.Syntax) (infoTree : Lean.Elab.InfoTree) (caps : Lean.Lsp.ClientCapabilities) : IO Lean.Lsp.CompletionList

Equations

• One or more equations did not get rendered due to their size.