Imandra_protocol.Txn_query
Managing transactions
type txn = Txn.t
val pp_txn : Ppx_deriving_runtime.Format.formatter -> txn -> Ppx_deriving_runtime.unit
val show_txn : txn -> Ppx_deriving_runtime.string
type t =
| Q_start of txn
| Q_commit_success of txn
| Q_abort of txn
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val txn : t -> Txn.t
val kind : t -> string