- * batch mode if possible, otherwise raises Failure above *)
-val parse: string -> Cic.metasenv * Cic.term
+ * batch mode if possible, otherwise raises Failure above.
+ * uri_pred is the predicate used to select which uris are tried. Per default
+ * only constant URIs are accepted *)
+val parse:
+ Mysql.dbd -> ?uri_pred:(string -> bool) -> string ->
+ CicUniv.universe_graph ->
+ (DisambiguatingParser.EnvironmentP3.t *
+ Cic.metasenv *
+ Cic.term *
+ CicUniv.universe_graph) list