sig
  type result = Exp of HOF_sugar.exp | ParseError of string
  val parse : string -> HOF_util.result
  val parse_from_file : string -> HOF_util.result
  val print_exp : HOF_sugar.exp -> unit
  val string_of_exp : HOF_sugar.exp -> string
end