Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Text coordinate.
val line : t -> int
Gets line of coordinate.
val col : t -> int
Gets column of coordinate.
val toString : t -> string
String conversion.
shift loc s b e
takes text coordinates loc
, string s
and two indexes b
and e
, scans s
from b
to e
inclusively and shifts loc
to take newlines into account.