source: Deliverables/D4.1/Word.ml @ 75

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

open Bit;;
open Nibble;;
open Byte;;

module type WORD =
sig
  type bit
  type nibble
  type byte
  type word
end;;

module Word(Bit: BIT)
           (Nibble: NIBBLE with type bit = Bit.bit)
           (Byte: BYTE with type bit = Bit.bit and type nibble = Nibble.nibble): WORD
  with type bit    = Bit.bit
  and  type nibble = Nibble.nibble
  and  type byte   = Byte.byte =
struct
  type bit = Bit.bit
  type nibble = Nibble.nibble
  type byte = Byte.byte
  type word = (byte * byte)
end;;