package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type source =

type t = {

}

val create : source -> int -> int -> int -> int -> 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