source: src/RTL/RTLinterpret.ma @ 1178

Last change on this file since 1178 was 1089, checked in by mulligan, 10 years ago

more changes from earlier in the week
File size: 53 bytes
Line 
1include "RTL/RTL.ma".
2
3definition chunk ≝ int_size.
Note: See TracBrowser for help on using the repository browser.