Module Ring.Int

module Int: sig .. end

type t = int 

val eq : int -> int -> bool

val add : int -> int -> int

val zero : int

val neg : int -> int

val mul : int -> int -> int

val one : int

val to_string : int -> string