source:
src/ERTL/ERTLToLTL.ma
@
733
Last change on this file since 733 was 733, checked in by , 10 years ago | |
---|---|
File size: 129 bytes |
Line | |
---|---|
1 | include "ERTL/ERTL.ma". |
2 | |
3 | inductive Decision: Type[0] ≝ |
4 | | Spill: Immediate → Decision |
5 | | Colour: Register → Decision. |
6 |
Note: See TracBrowser
for help on using the repository browser.