val int_of_bitvector : BitVector.bitVector -> int

val int_of_matitapos : Positive.pos -> int

val int_of_matitaZ : Z.z -> int

val option_of_matitaoption: 'a Types.option -> 'a option

val matitanat_of_int : int -> Nat.nat

val int_of_matitanat : Nat.nat -> int

val int_pair_of_pointer : Pointers.pointer -> int * int