Module txn
lever
Transactional primitives and transaction management
Prelude of transactional system
Transaction management definitions
Transactional variable definitions