*)
(** @param vars if set variables (".var" URIs) are considered. Defaults to
- * false *)
+ * false
+ * @param pat shell like pattern matching over object names, a string where "*"
+ * is interpreted as 0 or more characters and "?" as exactly one character *)
val locate:
dbd:Mysql.dbd ->
?vars:bool -> string -> string list
val match_term: dbd:Mysql.dbd -> Cic.term -> string list
+ (** @param string is an uri *)
val elim: dbd:Mysql.dbd -> string -> string list
+val instance: dbd:Mysql.dbd -> Cic.term -> string list