sig
  type t
  val zero : Emc.S.ARITH.t
  val one : Emc.S.ARITH.t
  val add : Emc.S.ARITH.t -> Emc.S.ARITH.t -> Emc.S.ARITH.t
end