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

Last change on this file since 448 was 448, checked in by mulligan, 9 years ago

Got Intel HEX format exportation working.

File size: 724 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   val fold : (key -> byte -> 'b -> 'b) -> map -> 'b -> 'b
13   val equal: (byte -> byte -> bool) -> map -> map -> bool
14 end
15;;
16
17module Byte7Map : Map with type key = byte7
18module WordMap : Map with type key = word
19
20val int_of_bit: bit -> int
21
22val subb8_with_c:
23 byte -> byte -> bit -> byte * bit * bit * bit (* -, c, ac, ov *)
24val add8_with_c:
25 byte -> byte -> bit -> byte * bit * bit * bit
26val add16_with_c:
27 word -> word -> bit -> word * bit * bit * bit
28val dec: byte -> byte (* with roll-over *)
29val inc: byte -> byte (* with roll-over *)
Note: See TracBrowser for help on using the repository browser.