Ignore:
Timestamp:
Feb 27, 2013, 10:46:33 PM (7 years ago)
Author:
sacerdot
Message:
  1. debugging code in glue
  2. updated version
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/untrusted/glue.ml

    r2742 r2746  
    2626 else if n < 0 then assert false
    2727 else Nat.S (matitanat_of_int (n-1))
     28
     29let rec int_of_matitanat =
     30 function
     31    Nat.O -> 0
     32  | Nat.S n -> int_of_matitanat n + 1
Note: See TracChangeset for help on using the changeset viewer.