def Lean.FileMap.rangeOfStx? (text : FileMap) (stx : Syntax) : Option Lsp.Range

Gets the LSP range of syntax stx.

def Lean.findLineStart (s : String) (pos : String.Pos) : String.Pos

Return the beginning of the line contatining character pos.

def Lean.findIndentAndIsStart (s : String) (pos : String.Pos) : Nat × Bool

Return the indentation (number of leading spaces) of the line containing pos, and whether pos is the first non-whitespace character in the line.