sig
  type result = Exp of Typed_syntax.exp | ParseError of string
  val parse : string -> Typed_util.result
  val parse_from_file : string -> Typed_util.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
end