* uri_pred is the predicate used to select which uris are tried. Per default
* only constant URIs are accepted *)
val parse:
* uri_pred is the predicate used to select which uris are tried. Per default
* only constant URIs are accepted *)
val parse:
(DisambiguatingParser.EnvironmentP3.t * Cic.metasenv * Cic.term) list
(** as above, but instead of returning the parsed cic term, pretty prints it
* (ignoring returned metasenv)
*)
(DisambiguatingParser.EnvironmentP3.t * Cic.metasenv * Cic.term) list
(** as above, but instead of returning the parsed cic term, pretty prints it
* (ignoring returned metasenv)
*)