Module `Gramlib.Ploc`

val make_unlined : (int * int) -> Loc.t: Ploc.make_unlined is like Ploc.make except that the line number is not provided (to be used e.g. when the line number is unknown.

val dummy : Loc.t: Ploc.dummy is a dummy location, used in situations when location has no meaning.

val sub : Loc.t -> int -> int -> Loc.t: Ploc.sub loc sh len is the location loc shifted with sh characters and with length len. The previous ending position of the location is lost.

val after : Loc.t -> int -> int -> Loc.t: Ploc.after loc sh len is the location just after loc (starting at the end position of loc) shifted with sh characters and of length len.