← Mathematical handbook

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

Equations

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