Ignore:
Timestamp:
Sep 21, 2010, 1:22:37 PM (9 years ago)
Author:
mulligan
Message:

fixed typing errors in ASMInterpret up to execute1.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/BitVectors.mli

    r92 r95  
    1616val from_byte7: byte7 -> bit * bit * bit * nibble
    1717val mk_byte: nibble -> nibble -> byte
     18val mk_byte_from_bits: ((bit * bit * bit * bit) * (bit * bit * bit * bit)) -> byte
    1819val from_byte: byte -> nibble * nibble
    1920val mk_word: byte -> byte -> word
     
    3233val (-|-): 'a vect -> 'a vect -> 'a vect
    3334val (-^-): 'a vect -> 'a vect -> 'a vect
    34 val not: 'a vect -> 'a vect
     35val complement: 'a vect -> 'a vect
    3536
    3637val iter_bits: (bit -> string) -> 'a vect -> string
Note: See TracChangeset for help on using the changeset viewer.