sig
  type result = Exp of Arith_syntax.exp | ParseError of string
  val parse : string -> Arith_util.result
  val parse_exp_from_file : string -> Arith_util.result
  val print_exp : Arith_syntax.exp -> unit
  val string_of_exp : Arith_syntax.exp -> string
end