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

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

open Bit;;
open Nibble;;

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

module Byte7Functor(Bit: BIT)
                   (Nibble: NIBBLE
                      with type bit = Bit.bit) : BYTE7
  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;;

module Byte7 = Byte7Functor (Bit) (Nibble);;