* uri_pred is the predicate used to select which uris are tried. Per default
* only constant URIs are accepted *)
val parse:
- MQIConn.handle -> ?uri_pred:(string -> bool) -> string ->
- (DisambiguatingParser.EnvironmentP3.t * Cic.metasenv * Cic.term) list
+ Mysql.dbd -> ?uri_pred:(string -> bool) -> string ->
+ CicUniv.universe_graph ->
+ (DisambiguatingParser.EnvironmentP3.t *
+ Cic.metasenv *
+ Cic.term *
+ CicUniv.universe_graph) list
(** as above, but instead of returning the parsed cic term, pretty prints it
* (ignoring returned metasenv)
*)
-val parse_pp: MQIConn.handle -> ?uri_pred:(string -> bool) -> string -> string list
+val parse_pp: Mysql.dbd -> ?uri_pred:(string -> bool) ->
+ string -> CicUniv.universe_graph -> string list