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