Gets the LSP range of syntax stx
.
Instances For
Return the beginning of the line contatining character pos
.
Equations
Instances For
Return the indentation (number of leading spaces) of the line containing pos
,
and whether pos
is the first non-whitespace character in the line.
Equations
- Lean.findIndentAndIsStart s pos = let start := Lean.findLineStart s pos; let body := s.findAux (fun (x : Char) => decide (x ≠ ' ')) pos start; ((body - start).byteIdx, body == pos)