let skel_dummy = NCic.Implicit `Type;;
+class type g_status =
+ object
+ method uhint_db: db
+ end
+
class status =
object
val db = HDB.empty, EQDB.empty
method uhint_db = db
method set_uhint_db v = {< db = v >}
method set_unifhint_status
- : 'status. < uhint_db : db; .. > as 'status -> 'self
+ : 'status. #g_status as 'status -> 'self
= fun o -> {< db = o#uhint_db >}
end