let empty_db = DB.empty,DB.empty
+class type g_status =
+ object
+ inherit NCicUnifHint.g_status
+ method coerc_db: db
+ end
+
class status =
object
inherit NCicUnifHint.status
method coerc_db = db
method set_coerc_db v = {< db = v >}
method set_coercion_status
- : 'status. < coerc_db : db; uhint_db: NCicUnifHint.db; .. > as 'status ->
- 'self
- = fun o -> {< db = o#coerc_db >}#set_unifhint_status o
+ : 'status. #g_status as 'status -> 'self
+ = fun o -> {< db = o#coerc_db >}#set_unifhint_status o
end
let index_coercion status name c src tgt arity arg =