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 |