Ignore:
Timestamp:
Sep 21, 2010, 2:21:25 PM (10 years ago)
Author:
mulligan
Message:

preliminary pretty-printing function (no usable output)

File:
1 edited

Legend:

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

    r97 r98  
    2929val int_of_vect: 'a vect -> int
    3030val vect_of_int: int -> ([< sizes] as 'a) -> 'a vect
     31val string_of_vect: 'a vect -> string
     32val string_of_bit: bit -> string
    3133
    3234val (-&-): 'a vect -> 'a vect -> 'a vect
Note: See TracChangeset for help on using the changeset viewer.