sig
  type t =
      Succ of int
    | Neg of int
    | Plus of int * int
    | Sub of int * int
    | Times of int * int
    | Eq of int * int
  val __t_of_sexp__ : Sexplib.Sexp.t -> ArithSexp.Request.t
  val t_of_sexp : Sexplib.Sexp.t -> ArithSexp.Request.t
  val sexp_of_t : ArithSexp.Request.t -> Sexplib.Sexp.t
  val to_string : ArithSexp.Request.t -> string
end