Module Stateid

type t
val equal : t -> t -> bool
val compare : t -> t -> int
module Self : Stdlib.Map.OrderedType with type Self.t = t
module Set : Stdlib.Set.S with type Set.elt = t and type Set.t = Stdlib.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 = {
id : t;
valid : t;
}
type ('a, 'b) request = {
exn_info : exn_info;
stop : t;
document : 'b;
loc : Loc.t option;
uuid : 'a;
name : string;
}
val is_valid : doc:int -> t -> bool
val set_is_valid : (doc:int -> t -> bool) -> unit