-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
-