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
 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 dec: byte -> byte (* with roll-over *)
val inc: byte -> byte (* with roll-over *)