Module type Emc.S.ARITH

module type ARITH = sig .. end

simple arithmetic module with big integers

type t

val zero : t

val one : t

val add : t -> t -> t