Module ArithSexp.Request (.ml)

module Request: sig .. end

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 -> t

val t_of_sexp : Sexplib.Sexp.t -> t

val sexp_of_t : t -> Sexplib.Sexp.t

val to_string : t -> string