source: src/common/CostLabel.ma @ 936

Last change on this file since 936 was 757, checked in by mulligan, 10 years ago

Lots more fixing to get both front and backends using same conventions and types.

File size: 336 bytes
RevLine 
[747]1include "common/AST.ma".
[177]2
[737]3axiom CostTag : String.
4
[738]5definition costlabel ≝ identifier CostTag.
[737]6
7(* For use in importing programs in intermediate languages. *)
[747]8definition costlabel_of_nat : nat → costlabel ≝ identifier_of_nat ?.
[757]9
10(* dpm: fix identifier/costlabel mismatch *)
11axiom Identifier_of_costlabel: costlabel → Identifier.
Note: See TracBrowser for help on using the repository browser.