source: Deliverables/D4.1/physical.mli @ 103

Last change on this file since 103 was 92, checked in by mulligan, 10 years ago

Fixed physical interface file. Refactoring ASMInterface.

File size: 433 bytes
Line 
1open BitVectors;;
2
3exception Byte7_conversion
4
5module Byte7Map : Map.S with type key = byte7
6module WordMap : Map.S with type key = word
7
8val byte7_of_byte: byte -> byte7
9val int_of_bit: bit -> int
10
11val subb8_with_c:
12 byte -> byte -> bit -> byte * bit * bit * bit (* -, c, ac, ov *)
13val add8_with_c:
14 byte -> byte -> bit -> byte * bit * bit * bit
15val dec: byte -> byte (* with roll-over *)
16val inc: byte -> byte (* with roll-over *)
Note: See TracBrowser for help on using the repository browser.