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