-val match_term: dbd:Mysql.dbd -> Cic.term -> UriManager.uri list
-
- (** @param string is an uri *)
-val elim: dbd:Mysql.dbd -> UriManager.uri -> UriManager.uri list
-
-val instance: dbd:Mysql.dbd -> Cic.term -> UriManager.uri list
-
-val fwd_simpl: dbd:Mysql.dbd -> Cic.term -> UriManager.uri list
-