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