package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type source =
  1. | InFile of string
  2. | ToplevelInput
type t = {
  1. fname : source;
  2. line_nb : int;
  3. bol_pos : int;
  4. line_nb_last : int;
  5. bol_pos_last : int;
  6. bp : int;
  7. ep : int;
}
val create : source -> int -> int -> int -> int -> t
val initial : source -> t
val unloc : t -> int * int
val make_loc : (int * int) -> t
val merge : t -> t -> t
val merge_opt : t option -> t option -> t option
val finer : t option -> t option -> bool
val shift_loc : int -> int -> t -> t
val add_loc : Exninfo.info -> t -> Exninfo.info
val get_loc : Exninfo.info -> t option
val raise : ?loc:t -> exn -> 'a
type !'a located = t option * 'a
val tag : ?loc:t -> 'a -> 'a located
val map : ('a -> 'b) -> 'a located -> 'b located