source: extracted/untrusted/glue.mli @ 3002

Last change on this file since 3002 was 3002, checked in by tranquil, 7 years ago

fixed previous commit

File size: 320 bytes
Line 
1val int_of_bitvector : BitVector.bitVector -> int
2
3val int_of_matitapos : Positive.pos -> int
4
5val int_of_matitaZ : Z.z -> int
6
7val option_of_matitaoption: 'a Types.option -> 'a option
8
9val matitanat_of_int : int -> Nat.nat
10
11val int_of_matitanat : Nat.nat -> int
12
13val int_pair_of_pointer : Pointers.pointer -> int * int
Note: See TracBrowser for help on using the repository browser.