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.ml

    r2740 r2742  
    1111    aux 1 (Vector.reverse0 Nat.O v)
    1212
     13let rec int_of_matitapos =
     14 function
     15   Positive.One -> 1
     16 | Positive.P0 v -> int_of_matitapos v * 2
     17 | Positive.P1 v -> int_of_matitapos v * 2 + 1
     18
    1319let option_of_matitaoption =
    1420 function
Note: See TracChangeset for help on using the changeset viewer.