Ignore:
Timestamp:
Sep 29, 2010, 12:51:05 PM (9 years ago)
Author:
sacerdot
Message:

More cleanup.

File:
1 edited

Legend:

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

    r98 r140  
    2929val int_of_vect: 'a vect -> int
    3030val vect_of_int: int -> ([< sizes] as 'a) -> 'a vect
     31val string_of_bit: bit -> string
    3132val string_of_vect: 'a vect -> string
    32 val string_of_bit: bit -> string
     33val hex_string_of_vect: 'a vect -> string
     34
    3335
    3436val (-&-): 'a vect -> 'a vect -> 'a vect
Note: See TracChangeset for help on using the changeset viewer.