package elpi

  1. Overview
  2. Docs
package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = {
  1. source_name : string;
  2. source_start : int;
  3. source_stop : int;
  4. line : int;
  5. 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