source: extracted/untrusted/glue.mli @ 2740

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

Graph colouring terminated up to Uses that will be implemented
in Matita.

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