source: Deliverables/D4.1/Byte7.ml @ 70

(*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*)
(* FILENAME:    Byte7.ml                                                     *)
(* DESCRIPTION: An ADT implementing non-standard 7 bit bytes, and common     *)
(*              operations on them.                                          *)
(* CREATED:     13/09/2010, Dominic Mulligan                                 *)
(* BUGS:                                                                     *)
(*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*)

module type BYTE7 =
sig
  type bit
  type nibble
  type byte7
end;;

module Byte7(Bit: BIT,
             Nibble: NIBBLE)
  with type bit    = Bit.bit
  and  type nibble = Nibble.nibble =
struct
  type bit = Bit.bit
  type nibble = Nibble.nibble
  type byte7 = (bit * bit * bit * nibble)
end;;