Ignore:
Timestamp:
Sep 22, 2010, 11:49:45 AM (9 years ago)
Author:
mulligan
Message:

Fixing type errors in execute1.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ASM.mli

    r100 r101  
    1 open BitVectors;;
    2 open Physical;;
    3 
    41type ('a,'b) union2 = [ `U1 of 'a | `U2 of 'b ]
    52type ('a,'b,'c) union3 = [ `U1 of 'a | `U2 of 'b | `U3 of 'c ]
Note: See TracChangeset for help on using the changeset viewer.