Ignore:
Timestamp:
Sep 20, 2010, 11:48:03 AM (10 years ago)
Author:
mulligan
Message:

Fixed a really annoying bug in vect_to_int and int_to_vect

File:
1 edited

Legend:

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

    r88 r89  
    2525
    2626val int_of_vect: 'a vect -> int
    27 val vect_of_int: int -> 'a -> 'a vect
     27val vect_of_int: int -> [`Four | `Seven | `Eight | `Eleven | `Sixteen ] -> [`Four | `Seven | `Eight | `Eleven | `Sixteen ] vect
    2828
    2929val (-&-): 'a vect -> 'a vect -> 'a vect
Note: See TracChangeset for help on using the changeset viewer.