Changeset 91 for Deliverables/D4.1/physical.mli

Timestamp:

Sep 20, 2010, 3:30:27 PM (11 years ago)

Author:

mulligan

Message:

Finished porting/fix type errors in physical.

File:

• Deliverables/D4.1/physical.mli (modified) (2 diffs)

Deliverables/D4.1/physical.mli

@@ -1 @@
-open Bit_vectors
+open BitVectors;;
 
 exception Byte7_conversion
@@ -7 +7 @@
 
 val byte7_of_byte: byte -> byte7
+val int_of_bit: bit -> int
 
 val subb8_with_c:
- byte -> byte -> bit -> byte * bit * bit * bit (* -, c, ac, ov *)
-val dec: byte -> byte (* with roll-over *)
-val inc: byte -> byte (* with roll-over *)
+ byte -> byte -> bit -> ([ `Eight | `Eleven | `Four | `Seven | `Sixteen ] vect) * bit * bit * bit (* -, c, ac, ov *)
+val dec: byte -> ([ `Eight | `Eleven | `Four | `Seven | `Sixteen ] vect) (* with roll-over *)
+val inc: byte -> ([ `Eight | `Eleven | `Four | `Seven | `Sixteen ] vect) (* with roll-over *)