Module CoqNat


module CoqNat: sig .. end
Implementing Coq's nat type conservatively with Big_int.big_int

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