* http://helm.cs.unibo.it/
*)
-exception Parse_error of string
+exception Parse_error of Token.flocation * string
(** {2 Parsing functions} *)
val parse_term: char Stream.t -> DisambiguateTypes.term
val parse_tactic: char Stream.t -> DisambiguateTypes.tactic
val parse_tactical: char Stream.t -> DisambiguateTypes.tactical
-val parse_command: char Stream.t -> DisambiguateTypes.command
val parse_script: char Stream.t -> DisambiguateTypes.script
(** {2 Grammar extensions} *)