Module Assembler_extr.Z

val double : int -> int
val succ_double : int -> int
val pred_double : int -> int
val pos_sub : int -> int -> int
val add : int -> int -> int
val opp : int -> int
val sub : int -> int -> int
val mul : int -> int -> int
val pow_pos : int -> int -> int
val pow : int -> int -> int
val compare : int -> int -> comparison
val leb : int -> int -> bool
val ltb : int -> int -> bool
val of_nat : int -> int
val pos_div_eucl : int -> int -> int * int
val div_eucl : int -> int -> int * int
val div : int -> int -> int
val odd : int -> bool