Module Typed_util

module Typed_util: sig .. end

Parser and printer for the typed language

type result =

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

val parse : string -> result

val parse_from_file : string -> result

val print_exp : Typed_syntax.exp -> unit

val string_of_exp : Typed_syntax.exp -> string

val string_of_typ : Typed_syntax.typ -> string

val print_typ : Typed_syntax.typ -> unit