Assembler_extr.Pos
val succ : int -> int
val add : int -> int -> int
val add_carry : int -> int -> int
val pred_double : int -> int
val mul : int -> int -> int
val iter : ('a1 -> 'a1) -> 'a1 -> int -> 'a1
val compare_cont : comparison -> int -> int -> comparison
val compare : int -> int -> comparison
val of_succ_nat : int -> int