Gets the LSP range from a String.Range.
Gets the LSP range of syntax stx.
Convert a Lean.Position to a String.Pos.
Return the beginning of the line contatining character pos.
Return the indentation (number of leading spaces) of the line containing pos,
and whether pos is the first non-whitespace character in the line.
Returns a synthetic Syntax which has the specified String.Range.
Returns the position of the start of (1-based) line line.