Ignore:
Timestamp:
Sep 13, 2010, 4:15:00 PM (10 years ago)
Author:
mulligan
Message:

DJNZ instruction finished.

File:
1 edited

Legend:

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

    r66 r67  
    77(*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*)
    88
    9 open "Bit.ml";;
    10 open "Nibble.ml";;
    11 open "Byte.ml";;
     9open Bit;;
     10open Nibble;;
     11open Byte;;
    1212
    1313module type WORD =
     
    1919end;;
    2020
    21 module Word(Bit: BIT,
    22             Nibble: NIBBLE,
    23             Byte: BYTE)
     21module 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
    2424  with type bit    = Bit.bit
    2525  and  type nibble = Nibble.nibble
Note: See TracChangeset for help on using the changeset viewer.