type db
+val set_convert_term:
+ (UriManager.uri -> Cic.term -> NCic.term * NCic.obj list) -> unit
+
+class type g_status =
+ object
+ inherit NCicUnifHint.g_status
+ method coerc_db: db
+ end
+
class status :
object ('self)
inherit NCicUnifHint.status
+ inherit g_status
method coerc_db: db
method set_coerc_db: db -> 'self
- method set_coercion_status: <coerc_db: db; uhint_db: NCicUnifHint.db; ..>
- -> 'self
+ method set_coercion_status: #g_status -> 'self
end
val empty_db: db