Changeset 85 for Deliverables/D4.1
- Timestamp:
- Sep 17, 2010, 12:14:27 PM (10 years ago)
- Location:
- Deliverables/D4.1
- Files:
-
- 1 deleted
- 6 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/Bit.ml
r84 r85 8 8 module type BIT = 9 9 sig 10 type bit = bool (* DPM: Make abstract? *)10 type bit = private bool (* DPM: Make abstract? *) 11 11 12 12 val from_bool: bool -> bit -
Deliverables/D4.1/Byte.ml
r83 r85 14 14 type bit 15 15 type nibble 16 type byte 16 type byte = private (nibble * nibble) 17 17 18 18 val from_bits: bit -> bit -> bit -> bit -> bit -> bit -> bit -> bit -> byte -
Deliverables/D4.1/Byte7.ml
r84 r85 25 25 type bit = Bit.bit 26 26 type nibble = Nibble.nibble 27 type byte7 = (bit * bit * bit * nibble)27 type byte7 = private (bit * bit * bit * nibble) 28 28 end;; 29 29 -
Deliverables/D4.1/Nibble.ml
r83 r85 12 12 sig 13 13 type bit 14 type nibble 14 type nibble = private (bit * bit * bit * bit) 15 15 16 16 val from_bits: bit -> bit -> bit -> bit -> nibble -
Deliverables/D4.1/Word.ml
r84 r85 16 16 type nibble 17 17 type byte 18 type word = byte * byte18 type word = private byte * byte 19 19 end;; 20 20 -
Deliverables/D4.1/Word11.ml
r84 r85 14 14 type bit 15 15 type byte 16 type word11 = bit * bit * bit * byte16 type word11 = private (bit * bit * bit * byte) 17 17 18 18 val to_string: word11 -> string
Note: See TracChangeset
for help on using the changeset viewer.