Module Arith_util

module Arith_util: sig .. end

Parser and printer for arithmetic expressions.

type result =

`\|`	`Exp of Arith_syntax.exp`
`\|`	`ParseError of string`

val parse : string -> result

val parse_exp_from_file : string -> result

val print_exp : Arith_syntax.exp -> unit

val string_of_exp : Arith_syntax.exp -> string