source: src/RTL/RTLinterpret.ma @ 1089

Last change on this file since 1089 was 1089, checked in by mulligan, 8 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.