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