def Lean.Server.Completion.findSyntheticCompletions (fileMap : Lean.FileMap) (hoverPos : String.Pos) (cmdStx : Lean.Syntax) (infoTree : Lean.Elab.InfoTree) : Array Lean.Server.Completion.ContextualizedCompletionInfo