package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val equal : t -> t -> bool
val compare : t -> t -> int
module Self : sig ... end
module Set : sig ... end
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 (!'a, !'b) request = {
  1. exn_info : t * t;
  2. stop : t;
  3. document : 'b;
  4. loc : Loc.t option;
  5. uuid : 'a;
  6. name : string;
}