exception Failure of string
(** uri_pred which rejects ll .var URIs *)
-val constants_only: (string -> bool)
+val constants_only: prefix:string -> (string -> bool)
(** @param variables enabled
- * @param variables prefix
+ * @param variables prefix varsprefix
* @return uri predicate suitable for functions below *)
-val uri_pred_of_conf: bool -> string -> (string -> bool)
+val uri_pred_of_conf:
+ bool -> prefix:string -> varsprefix:string -> (string -> bool)
(** Parse a cic term from the given string using disambiguating parser in
* batch mode if possible, otherwise raises Failure above.