sig
  module type S =
    sig
      type t
      val zero : t
      val ( + ) : t -> t -> t
      val ( - ) : t -> t -> t
      val t_of_sexp : Sexplib.Sexp.t -> t
      val sexp_of_t : t -> Sexplib.Sexp.t
    end
  val ounit_tests : unit -> OUnit.test
end