source: src/common/CostLabel.ma @ 720

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

Sort out cost labels.

File size: 57 bytes
RevLine 
[700]1include "Clight/AST.ma".
[177]2
[487]3definition costlabel ≝ ident.
Note: See TracBrowser for help on using the repository browser.