Ignore:
Timestamp:
Sep 23, 2010, 3:16:27 PM (10 years ago)
Author:
mulligan
Message:

Fixed weird type errors in ASMInterpret.

File:
1 edited

Legend:

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

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