source: src/common/CostLabel.ma @ 748

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

Merge the two AST files together (although some definitions still need to be
harmonised).

File size: 233 bytes
Line 
1include "common/AST.ma".
2
3axiom CostTag : String.
4
5definition costlabel ≝ identifier CostTag.
6
7(* For use in importing programs in intermediate languages. *)
8definition costlabel_of_nat : nat → costlabel ≝ identifier_of_nat ?.
Note: See TracBrowser for help on using the repository browser.