module Request: sig .. end
sig
end
type t =
|
Succ of int
int
Neg of int
Plus of int * int
int * int
Sub of int * int
Times of int * int
Eq of int * int
val to_string : t -> string
t -> string