Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/bitVector.mli

    r2601 r2649  
    3232
    3333open Vector
    34 
    35 open Char
    36 
    37 open String
    3834
    3935type bitVector = Bool.bool Vector.vector
     
    7773val eq_bv_elim :
    7874  Nat.nat -> bitVector -> bitVector -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
     75
Note: See TracChangeset for help on using the changeset viewer.