extracted/untrusted/glue.mli

   1 val int_of_bitvector : BitVector.bitVector -> int
   2
   3 val int_of_matitapos : Positive.pos -> int
   4
   5 val int_of_matitaZ : Z.z -> int
   6
   7 val option_of_matitaoption: 'a Types.option -> 'a option
   8
   9 val matitanat_of_int : int -> Nat.nat
  10
  11 val int_of_matitanat : Nat.nat -> int
  12
  13 val int_pair_of_pointer : Pointers.pointer -> int * int