source: Deliverables/D4.2-4.3/common/CostLabel.ma @ 491

Last change on this file since 491 was 491, checked in by mulligan, 8 years ago

Initial commit of (part)-formalisation of LIN intermediate language.

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