Module lever::txn [−][src]
Transactional primitives and transaction management
Modules
errors | Transactional system errors |
prelude | Prelude of transactional system |
transact | Transaction management definitions |
vars | Transactional variable definitions |