Module lever::txn

source ·
Expand description

Transactional primitives and transaction management

Modules

  • errors
    Transactional system errors
  • prelude
    Prelude of transactional system
  • transact
    Transaction management definitions
  • vars
    Transactional variable definitions