elpi.util
Util.Loc
elpi
elpi.compiler
elpi.lexer_config
elpi.parser
elpi.runtime
elpi.trace
trace_ppx
trace_ppx_runtime
type t = {
client_payload : Obj.t option;
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 : ?client_payload:Obj.t -> string -> t
val merge : ?merge_payload:(Obj.t option -> Obj.t option -> Obj.t option) -> t -> t -> t
val extend : int -> t -> t