Changeset 1168 for src/LIN/LIN.ma


Ignore:
Timestamp:
Sep 2, 2011, 11:36:15 AM (8 years ago)
Author:
sacerdot
Message:

Joint statements parameterized over a record.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LIN.ma

    r1167 r1168  
    1 include "Joint/JointLTLLIN.ma".
    2  
    3 inductive pre_lin_statement (globals: list ident): Type[0] ≝
    4   | lin_st_lift_joint: joint_statement unit Register Register Register Register Register registers_move globals → pre_lin_statement globals.
     1include "joint/Joint.ma".
     2
     3definition lin_params: params ≝
     4 mk_params unit unit unit unit registers_move Register.
     5
     6definition pre_lin_statement ≝
     7 λglobals: list ident. joint_statement unit lin_params globals.
    58
    69definition lin_statement ≝
Note: See TracChangeset for help on using the changeset viewer.