open BitVectors;;

exception Byte7_conversion

module type Map =
 sig
  type key
  type map
   val empty : map
   val find : key -> map -> byte
   val add : key -> byte -> map -> map
   val fold : (key -> byte -> 'b -> 'b) -> map -> 'b -> 'b
   val equal: (byte -> byte -> bool) -> map -> map -> bool
 end
;;

module Byte7Map : Map with type key = byte7
module WordMap : Map with type key = word

val int_of_bit: bit -> int

val subb8_with_c:
 byte -> byte -> bit -> byte * bit * bit * bit (* -, c, ac, ov *)
val add8_with_c:
 byte -> byte -> bit -> byte * bit * bit * bit
val add16_with_c:
 word -> word -> bit -> word * bit * bit * bit
val dec: byte -> byte (* with roll-over *)
val inc: byte -> byte (* with roll-over *)

val addr16_of_addr11: word -> word11 -> word