Module M_util

module M_util: sig .. end

Parser and printer for the M language

type result =

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

val parse : string -> result

val parse_from_file : string -> result

val print_exp : M_syntax.exp -> unit

val string_of_exp : M_syntax.exp -> string

val string_of_typ : M_syntax.typ -> string

val print_typ : M_syntax.typ -> unit