source: src/common/CostLabel.ma @ 698

Last change on this file since 698 was 698, checked in by mulligan, 9 years ago

Commit with changes to files to get our files to typecheck.

File size: 97 bytes
Line 
1include "ASM/BitVector.ma".
2include "utilities/StringTools.ma".
3
4definition CostLabel ≝ Byte.
5
Note: See TracBrowser for help on using the repository browser.