source: extracted/untrusted/glue.mli @ 2742

Last change on this file since 2742 was 2742, checked in by sacerdot, 7 years ago

Untrusted register colouring fully branched.

File size: 191 bytes
Line 
1val int_of_bitvector : BitVector.bitVector -> int
2
3val int_of_matitapos : Positive.pos -> int
4
5val option_of_matitaoption: 'a Types.option -> 'a option
6
7val matitanat_of_int : int -> Nat.nat
Note: See TracBrowser for help on using the repository browser.