3 exception Byte7_conversion
10 val find : key -> map -> byte
11 val add : key -> byte -> map -> map
12 val fold : (key -> byte -> 'b -> 'b) -> map -> 'b -> 'b
13 val equal: (byte -> byte -> bool) -> map -> map -> bool
17 module Byte7Map : Map with type key = byte7
18 module WordMap : Map with type key = word
20 val int_of_bit: bit -> int
23 byte -> byte -> bit -> byte * bit * bit * bit (* -, c, ac, ov *)
25 byte -> byte -> bit -> byte * bit * bit * bit
27 word -> word -> bit -> word * bit * bit * bit
28 val dec: byte -> byte (* with roll-over *)
29 val inc: byte -> byte (* with roll-over *)
31 val addr16_of_addr11: word -> word11 -> word