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

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

Finished porting/fix type errors in physical.

File size: 522 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 -> ([ `Eight | `Eleven | `Four | `Seven | `Sixteen ] vect) * bit * bit * bit (* -, c, ac, ov *)
13val dec: byte -> ([ `Eight | `Eleven | `Four | `Seven | `Sixteen ] vect) (* with roll-over *)
14val inc: byte -> ([ `Eight | `Eleven | `Four | `Seven | `Sixteen ] vect) (* with roll-over *)
Note: See TracBrowser for help on using the repository browser.