sig
  val mk_num : Mpa.Q.t -> Sym.t
  val mk_multq : Mpa.Q.t -> Sym.t
  val mk_add : Sym.t
  val get : Sym.t -> Sym.arith
  val is_num : Sym.t -> bool
  val is_multq : Sym.t -> bool
  val is_add : Sym.t -> bool
  val d_num : Sym.t -> Mpa.Q.t
  val d_multq : Sym.t -> Mpa.Q.t
  val pp : 'a Pretty.printer -> (Sym.arith * 'a list) Pretty.printer
end