Ignore:
Timestamp:
Sep 20, 2010, 5:40:16 PM (9 years ago)
Author:
mulligan
Message:

Fixed physical interface file. Refactoring ASMInterface.

File:
1 edited

Legend:

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

    r90 r92  
    88type word = [`Sixteen] vect
    99type word11 = [`Eleven] vect
     10
     11type sizes = [ `Four | `Seven | `Eight | `Eleven | `Sixteen ]
    1012
    1113val mk_nibble: bit -> bit -> bit -> bit -> nibble
     
    2527
    2628val int_of_vect: 'a vect -> int
    27 val vect_of_int: int -> [< `Four | `Seven | `Eight | `Eleven | `Sixteen ] -> [`Four | `Seven | `Eight | `Eleven | `Sixteen ] vect
     29val vect_of_int: int -> ([< sizes] as 'a) -> 'a vect
    2830
    2931val (-&-): 'a vect -> 'a vect -> 'a vect
Note: See TracChangeset for help on using the changeset viewer.