Changeset 95 for Deliverables/D4.1/BitVectors.mli

Timestamp:

Sep 21, 2010, 1:22:37 PM (10 years ago)

Author:

mulligan

Message:

fixed typing errors in ASMInterpret up to execute1.

File:

• Deliverables/D4.1/BitVectors.mli (modified) (2 diffs)

Deliverables/D4.1/BitVectors.mli

@@ -16 +16 @@
 val from_byte7: byte7 -> bit * bit * bit * nibble
 val mk_byte: nibble -> nibble -> byte
+val mk_byte_from_bits: ((bit * bit * bit * bit) * (bit * bit * bit * bit)) -> byte
 val from_byte: byte -> nibble * nibble
 val mk_word: byte -> byte -> word
@@ -32 +33 @@
 val (-|-): 'a vect -> 'a vect -> 'a vect
 val (-^-): 'a vect -> 'a vect -> 'a vect
-val not: 'a vect -> 'a vect
+val complement: 'a vect -> 'a vect
 
 val iter_bits: (bit -> string) -> 'a vect -> string