Module Imandra_protocol.Stamp

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