Module Newspeak.Nat

module Nat: sig .. end

type t = string 

val zero : t

val one : t

val of_string : string -> t

val of_int : int -> t

val of_big_int : Big_int.big_int -> t

val to_big_int : t -> Big_int.big_int

val add : t -> t -> t

val mul : t -> t -> t

val sub : t -> t -> t

val div : t -> t -> t

val neg : t -> t

val add_int : int -> t -> t

val mul_int : int -> t -> t

val compare : t -> t -> int