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/Byte7.ml

    r63 r84  
    77(*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*)
    88
     9open Bit;;
     10open Nibble;;
     11
    912module type BYTE7 =
    1013sig
     
    1417end;;
    1518
    16 module Byte7(Bit: BIT,
    17              Nibble: NIBBLE)
     19module Byte7Functor(Bit: BIT)
     20                   (Nibble: NIBBLE
     21                      with type bit = Bit.bit) : BYTE7
    1822  with type bit    = Bit.bit
    1923  and  type nibble = Nibble.nibble =
     
    2327  type byte7 = (bit * bit * bit * nibble)
    2428end;;
     29
     30module Byte7 = Byte7Functor (Bit) (Nibble);;
Note: See TracChangeset for help on using the changeset viewer.