Module Imandra_protocol.Stamp

Unique stamps to pair responses to queries.

Each query carries a stamp (which increases monotonically for a given connection). The response will carry the same stamp to match it with the proper query.

This is also used to cancel/interrupt a query.

type t = private int
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val zero : t
val next : unit -> t
val (<) : t -> t -> bool
val to_int : t -> int
module Tbl : CCHashtbl.S with type key = t
module Map : CCMap.S with type key = t
module Set : CCSet.S with type elt = t