(************************************************************************) (* v * The Coq Proof Assistant / The Coq Development Team *) (* t -> bool val compare : t -> t -> int module Set : Set.S with type elt = t val initial : t val dummy : t val fresh : unit -> t val to_string : t -> string val of_int : int -> t val to_int : t -> int val newer_than : t -> t -> bool (* XML marshalling *) val to_xml : t -> xml val of_xml : xml -> t (* Attaches to an exception the concerned state id, plus an optional * state id that is a valid state id before the error. * Backtracking to the valid id is safe. * The initial_state_id is assumed to be safe. *) val add : exn -> ?valid:t -> t -> exn val get : exn -> (t * t) option type ('a,'b) request = { exn_info : t * t; stop : t; document : 'b; loc : Loc.t; uuid : 'a; name : string }