Ignore:
Timestamp:
Sep 20, 2010, 3:30:27 PM (11 years ago)
Author:
mulligan
Message:

Finished porting/fix type errors in physical.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/physical.mli

    r88 r91  
    1 open Bit_vectors
     1open BitVectors;;
    22
    33exception Byte7_conversion
     
    77
    88val byte7_of_byte: byte -> byte7
     9val int_of_bit: bit -> int
    910
    1011val subb8_with_c:
    11  byte -> byte -> bit -> byte * bit * bit * bit (* -, c, ac, ov *)
    12 val dec: byte -> byte (* with roll-over *)
    13 val inc: byte -> byte (* with roll-over *)
     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 TracChangeset for help on using the changeset viewer.