Ignore:
Timestamp:
Mar 28, 2013, 1:50:59 PM (7 years ago)
Author:
sacerdot
Message:

New extraction, bugs fixed.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLabsToRTL.mli

    r2951 r3006  
    138138
    139139val size_of_sig_type : AST.typ -> Nat.nat
     140
     141val sign_of_sig_type : AST.typ -> AST.signedness
    140142
    141143type register_type =
Note: See TracChangeset for help on using the changeset viewer.