Ignore:
Timestamp:
Sep 17, 2010, 10:44:41 AM (11 years ago)
Author:
mulligan
Message:

Lots of work on tidying up code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Word.ml

    r83 r84  
    1616  type nibble
    1717  type byte
    18   type word
     18  type word = byte * byte
    1919end;;
    2020
    21 module Word(Bit: BIT)
    22            (Nibble: NIBBLE with type bit = Bit.bit)
    23            (Byte: BYTE with type bit = Bit.bit and type nibble = Nibble.nibble): WORD
     21module WordFunctor(Bit: BIT)
     22                  (Nibble: NIBBLE
     23                     with type bit    = Bit.bit)
     24                  (Byte: BYTE
     25                     with type bit    = Bit.bit
     26                     and  type nibble = Nibble.nibble): WORD
    2427  with type bit    = Bit.bit
    2528  and  type nibble = Nibble.nibble
     
    3134  type word = (byte * byte)
    3235end;;
     36
     37module Word = WordFunctor(Bit) (Nibble) (Byte);;
Note: See TracChangeset for help on using the changeset viewer.