source: extracted/untrusted/glue.mli @ 2746

Last change on this file since 2746 was 2746, checked in by sacerdot, 7 years ago
  1. debugging code in glue
  2. updated version
File size: 230 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
8
9val int_of_matitanat : Nat.nat -> int
Note: See TracBrowser for help on using the repository browser.