Changeset 67 for Deliverables/D4.1/Byte.ml

Timestamp:

Sep 13, 2010, 4:15:00 PM (11 years ago)

Author:

mulligan

Message:

DJNZ instruction finished.

File:

• Deliverables/D4.1/Byte.ml (modified) (1 diff)

Deliverables/D4.1/Byte.ml

@@ -50 +50 @@
 end
 
-module ByteFunctor(Bit: BIT) (Nibble: NIBBLE with type bit = Bit.bit): BYTE
+module ByteFunctor(Bit: BIT)
+                  (Nibble: NIBBLE with type bit = Bit.bit): BYTE
   with type bit = Bit.bit
   and  type nibble = Nibble.nibble =