Ignore:
Timestamp:
Apr 4, 2011, 5:13:08 PM (9 years ago)
Author:
campbell
Message:

Extra type safety for identifiers.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/RTLabs-syntax.ma

    r720 r736  
    5959
    6060record internal_function : Type[0] ≝
    61 { f_labgen    : label_generation
    62 ; f_reggen    : register_generation
     61{ f_labgen    : Universe LabelTag
     62; f_reggen    : Universe RegisterTag
    6363; f_sig       : signature
    6464; f_result    : registers
Note: See TracChangeset for help on using the changeset viewer.