Changeset 1077 for src/ERTL/ERTL.ma


Ignore:
Timestamp:
Jul 19, 2011, 12:23:32 PM (9 years ago)
Author:
mulligan
Message:

ack, dependent types are scary

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r1071 r1077  
    4747  ertl_if_stacksize: nat;
    4848  ertl_if_graph: ertl_statement_graph;
    49   ertl_if_entry: label;
    50   ertl_if_exit: label
     49  ertl_if_entry: Σl: label. lookup ? ? ertl_if_graph l ≠ None ?;
     50  ertl_if_exit: Σl: label. lookup ? ? ertl_if_graph l ≠ None ?
    5151}.
    5252
Note: See TracChangeset for help on using the changeset viewer.