* is interpreted as 0 or more characters and "?" as exactly one character *)
val locate:
dbd:Mysql.dbd ->
- ?vars:bool -> ?owner:string -> string -> string list
+ ?vars:bool -> string -> string list
val hint:
dbd:Mysql.dbd ->
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