(** Parse a cic term from the given string using disambiguating parser in
* batch mode if possible, otherwise raises Failure above.
(** Parse a cic term from the given string using disambiguating parser in
* batch mode if possible, otherwise raises Failure above.