exception Byte7_conversion

type bit = bool
type nibble = bit * bit * bit * bit
type byte = nibble * nibble
type byte7 = bit * bit * bit * nibble
type word = byte * byte
type word11 = bit * bit * bit * byte

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

val byte7_of_byte: byte -> byte7

val word_of_int: int -> word
val int_of_word: word -> int
val byte7_of_int: int -> byte7
val byte_of_int: int -> byte
val int_of_bit: bit -> int
val int_of_byte: byte -> int
val int_of_byte7: byte7 -> int
val int_of_nibble: nibble -> int
val byte7_of_bit: bit -> byte7
val byte_of_byte7: byte7 -> byte

val complement: byte -> byte

val (++): word -> int -> word

val add8_with_c:
 byte -> byte -> bit -> byte * bit * bit * bit (* +, c, ac, ov *)
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 *)

val nth_bit: int -> byte -> bit
val set_nth_bit: int -> bit -> byte -> byte