Module AltErgoLib.Loc

type t = Stdlib.Lexing.position * Stdlib.Lexing.position

The type of locations, a location is made up of two position in the file, respectively corresponding to the beginning and end of the location.

val dummy : t

A dummy location.

val report : Stdlib.Format.formatter -> t -> unit

Report a location on the given formatter, using standard human-redable location reporting.