package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val equal : t -> t -> bool
val compare : t -> t -> int
module Self : Map.OrderedType with type t = t
module Set : Set.S with type elt = t and type t = Set.Make(Self).t
val initial : t
val dummy : t
val fresh : unit -> t
val to_string : t -> string
val print : t -> Pp.t
val of_int : int -> t
val to_int : t -> int
val newer_than : t -> t -> bool
val add : Exninfo.info -> valid:t -> t -> Exninfo.info
val get : Exninfo.info -> (t * t) option
type exn_info = {
  1. id : t;
  2. valid : t;
}
type ('a, 'b) request = {
  1. exn_info : exn_info;
  2. stop : t;
  3. document : 'b;
  4. loc : Loc.t option;
  5. uuid : 'a;
  6. name : string;
}
val is_valid : doc:int -> t -> bool
val set_is_valid : (doc:int -> t -> bool) -> unit