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

Last change on this file since 122 was 120, checked in by mulligan, 10 years ago

Fixed weird type errors in ASMInterpret.

File size: 574 bytes
Line 
1open BitVectors;;
2
3exception Byte7_conversion
4
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;;
14
15module Byte7Map : Map with type key = byte7
16module WordMap : Map with type key = word
17
18val byte7_of_byte: byte -> byte7
19val int_of_bit: bit -> int
20
21val subb8_with_c:
22 byte -> byte -> bit -> byte * bit * bit * bit (* -, c, ac, ov *)
23val add8_with_c:
24 byte -> byte -> bit -> byte * bit * bit * bit
25val dec: byte -> byte (* with roll-over *)
26val inc: byte -> byte (* with roll-over *)
Note: See TracBrowser for help on using the repository browser.