Module CoqNat

module CoqNat: sig .. end

exception Overflow

type nat = Big_int.big_int 

val two : nat

val succ : nat -> nat

val pred : nat -> nat

val plus : nat -> nat -> nat

val minus : nat -> nat -> nat

val times : nat -> nat -> nat

val eq_nat_dec : nat -> nat -> bool

val of_int : int -> nat

val of_string : string -> nat