Module `Imandra_protocol.Txn`

Unique transaction IDs.

A transaction delimits the beginning and end of a set of RPC calls (oneway messages and query/response pairs), that either all succeed; in which case the transaction succeeds and changes are preserved; or at least one fails, and the transaction fails (also all unfinished queries), in which case the state is restored to what it was before the transaction

type t = private int

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

val equal : t -> t -> Ppx_deriving_runtime.bool

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