Ignore:
Timestamp:
Oct 7, 2010, 10:35:46 AM (10 years ago)
Author:
mulligan
Message:

Type errors fixed. Add16 with carry implemented.

File:
1 edited

Legend:

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

    r144 r161  
    2222val add8_with_c:
    2323 byte -> byte -> bit -> byte * bit * bit * bit
     24val add16_with_c:
     25 word -> word -> bit -> word * bit * bit * bit
    2426val dec: byte -> byte (* with roll-over *)
    2527val inc: byte -> byte (* with roll-over *)
Note: See TracChangeset for help on using the changeset viewer.