package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t = {

}

val create : string -> 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 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

val located_fold_left : ('a -> 'b -> 'a) -> 'a -> 'b located -> 'a

val down_located : ('a -> 'b) -> 'a located -> 'b

val located_iter2 : ('a -> 'b -> unit) -> 'a located -> 'b located -> unit