elpi.util
Util.Loc
elpi
elpi.lexer_config
elpi.parser
elpi.trace
trace_ppx
trace_ppx_runtime
type t = {
source_name : string;
source_start : int;
source_stop : int;
line : int;
line_starts_at : int;
}
val pp : Format.formatter -> t -> unit
val show : t -> string
val equal : t -> t -> bool
val compare : t -> t -> int
val initial : string -> t