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

(*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*)
(* FILENAME:    Word.ml                                                      *)
(* DESCRIPTION: An ADT implementing standard 16 bit words, 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 = byte * byte
end;;

module WordFunctor(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;;

module Word = WordFunctor(Bit) (Nibble) (Byte);;