method uhint_db: db
end
-class status :
+class virtual status :
object ('self)
inherit g_status
+ inherit NCic.status
method set_uhint_db: db -> 'self
method set_unifhint_status: #g_status -> 'self
end
val index_hint:
- #status as 'status -> NCic.context -> NCic.term -> NCic.term -> int -> 'status
+ (#status as 'status) -> NCic.context -> NCic.term -> NCic.term -> int -> 'status
val add_user_provided_hint :
- #status as 'status -> NCic.term -> int -> 'status
+ (#status as 'status) -> NCic.term -> int -> 'status
val look_for_hint:
#status ->