Module lever::txn

Transactional primitives and transaction management

Modules

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