source: Deliverables/D4.1/Physical.mli @ 431

Last change on this file since 431 was 161, checked in by mulligan, 10 years ago

Type errors fixed. Add16 with carry implemented.

File size: 606 bytes
RevLine 
[91]1open BitVectors;;
[88]2
[44]3exception Byte7_conversion
[28]4
[120]5module type Map =
6 sig
7  type key
8  type map
9   val empty : map
10   val find : key -> map -> byte
11   val add : key -> byte -> map -> map
12 end
13;;
[28]14
[120]15module Byte7Map : Map with type key = byte7
16module WordMap : Map with type key = word
17
[91]18val int_of_bit: bit -> int
[28]19
20val subb8_with_c:
[92]21 byte -> byte -> bit -> byte * bit * bit * bit (* -, c, ac, ov *)
22val add8_with_c:
23 byte -> byte -> bit -> byte * bit * bit * bit
[161]24val add16_with_c:
25 word -> word -> bit -> word * bit * bit * bit
[92]26val dec: byte -> byte (* with roll-over *)
27val inc: byte -> byte (* with roll-over *)
Note: See TracBrowser for help on using the repository browser.