sig
  type t = Add | Sub | Mul | Div
  val to_char : Op.t -> char
  val to_fun : Op.t -> int -> int -> int
end