Changeset 85


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

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

Location:
Deliverables/D4.1
Files:
1 deleted
6 edited

Legend:

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

    r84 r85  
    88module type BIT =
    99sig
    10   type bit = bool (* DPM: Make abstract? *)
     10  type bit = private bool (* DPM: Make abstract? *)
    1111
    1212  val from_bool: bool -> bit
  • Deliverables/D4.1/Byte.ml

    r83 r85  
    1414  type bit
    1515  type nibble
    16   type byte
     16  type byte = private (nibble * nibble)
    1717
    1818  val from_bits: bit -> bit -> bit -> bit -> bit -> bit -> bit -> bit -> byte
  • 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
  • Deliverables/D4.1/Nibble.ml

    r83 r85  
    1212sig
    1313  type bit
    14   type nibble
     14  type nibble = private (bit * bit * bit * bit)
    1515
    1616  val from_bits: bit -> bit -> bit -> bit -> nibble
  • Deliverables/D4.1/Word.ml

    r84 r85  
    1616  type nibble
    1717  type byte
    18   type word = byte * byte
     18  type word = private byte * byte
    1919end;;
    2020
  • Deliverables/D4.1/Word11.ml

    r84 r85  
    1414  type bit
    1515  type byte
    16   type word11 = bit * bit * bit * byte
     16  type word11 = private (bit * bit * bit * byte)
    1717
    1818  val to_string: word11 -> string
Note: See TracChangeset for help on using the changeset viewer.