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 bin_size_t : ArithRpc.Request.t -> int
  val bin_write_t :
    Bin_prot.Common.buf ->
    pos:Bin_prot.Common.pos -> ArithRpc.Request.t -> Bin_prot.Common.pos
  val bin_writer_t : ArithRpc.Request.t Core.Std.Bin_prot.Type_class.writer
  val __bin_read_t__ :
    'a -> pos_ref:Core.Std.Bin_prot.Common.pos Pervasives.ref -> 'b -> 'c
  val bin_read_t :
    Bin_prot.Common.buf ->
    pos_ref:Bin_prot.Common.pos_ref -> ArithRpc.Request.t
  val bin_reader_t : ArithRpc.Request.t Core.Std.Bin_prot.Type_class.reader
  val bin_t : ArithRpc.Request.t Core.Std.Bin_prot.Type_class.t
  val to_string : ArithRpc.Request.t -> string
end