Ignore:
Timestamp:
Sep 20, 2010, 10:35:53 AM (9 years ago)
Author:
mulligan
Message:

int_of_vect implemented.

File:
1 moved

Legend:

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

    r87 r88  
    2424val set_bit: 'a vect -> int -> bit -> 'a vect option
    2525
     26val int_of_vect: 'a vect -> int
     27val vect_of_int: int -> 'a -> 'a vect
     28
    2629val (-&-): 'a vect -> 'a vect -> 'a vect
    2730val (-|-): 'a vect -> 'a vect -> 'a vect
Note: See TracChangeset for help on using the changeset viewer.