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
+
+val fwd_simpl: dbd:Mysql.dbd -> Cic.term -> string list
+