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

Timestamp:

Oct 7, 2010, 2:49:53 PM (9 years ago)

Author:

mulligan

Message:

Timers implemented (including demonic thirteen bit timer).

File:

• Deliverables/D4.1/BitVectors.mli (modified) (1 diff)

Deliverables/D4.1/BitVectors.mli

@@ -24 +24 @@
 val from_word11: word11 -> bit * bit * bit * byte
 
-val get_bit: 'a vect -> int -> bit option
-val set_bit: 'a vect -> int -> bit -> 'a vect option
+val get_bit: 'a vect -> int -> bit
+val set_bit: 'a vect -> int -> bit -> 'a vect
 
 val int_of_vect: 'a vect -> int