Ignore:
Timestamp:
Mar 28, 2013, 1:05:20 PM (7 years ago)
Author:
tranquil
Message:

fixed previous commit

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/untrusted/glue.mli

    r2746 r3002  
    22
    33val int_of_matitapos : Positive.pos -> int
     4
     5val int_of_matitaZ : Z.z -> int
    46
    57val option_of_matitaoption: 'a Types.option -> 'a option
     
    810
    911val int_of_matitanat : Nat.nat -> int
     12
     13val int_pair_of_pointer : Pointers.pointer -> int * int
Note: See TracChangeset for help on using the changeset viewer.