Ignore:
Timestamp:
Feb 27, 2013, 5:42:59 PM (7 years ago)
Author:
sacerdot
Message:

Untrusted register colouring fully branched.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/untrusted/glue.mli

    r2740 r2742  
    11val int_of_bitvector : BitVector.bitVector -> int
     2
     3val int_of_matitapos : Positive.pos -> int
    24
    35val option_of_matitaoption: 'a Types.option -> 'a option
Note: See TracChangeset for help on using the changeset viewer.