Ignore:
Timestamp:
Sep 17, 2010, 12:14:27 PM (11 years ago)
Author:
mulligan
Message:

Deleted Pretty.ml, as `pretty' functions have now been merged into
other files where they belong.
where

File:
1 edited

Legend:

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

    r84 r85  
    2525  type bit = Bit.bit
    2626  type nibble = Nibble.nibble
    27   type byte7 = (bit * bit * bit * nibble)
     27  type byte7 = private (bit * bit * bit * nibble)
    2828end;;
    2929
Note: See TracChangeset for help on using the changeset viewer.