source: src/Clight/CostLabel.ma @ 708

Last change on this file since 708 was 700, checked in by campbell, 9 years ago

Get Clight semantics going again (except for problems CexecEquiv? that I caused
earlier).

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