source: Deliverables/D3.1/C-semantics/CostLabel.ma @ 409

Last change on this file since 409 was 177, checked in by campbell, 10 years ago

Missing cost labels file.

File size: 51 bytes
Line 
1include "AST.ma".
2
3ndefinition costlabel ≝ ident.
Note: See TracBrowser for help on using the repository browser.