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

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

int_of_vect implemented.

File size: 341 bytes
Line 
1open Bit_vectors
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
9
10val subb8_with_c:
11 byte -> byte -> bit -> byte * bit * bit * bit (* -, c, ac, ov *)
12val dec: byte -> byte (* with roll-over *)
13val inc: byte -> byte (* with roll-over *)
Note: See TracBrowser for help on using the repository browser.