Module lever::txn

Transactional primitives and transaction management

Modules

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