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 to_string : ArithMarshal.Request.t -> string
end