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

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

Some utility functions useful across modules moved into new file Util.
Started working on parser for Intel hex file format. Moved
physical.ml*' to Physical.ml*' for naming consistency across modules.

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.