val db = DB.empty
method uhint_db = db
method set_uhint_db v = {< db = v >}
+ method set_unifhint_status
+ : 'status. < uhint_db : db; .. > as 'status -> 'self
+ = fun o -> {< db = o#uhint_db >}
end
let dummy = NCic.Const (NReference.reference_of_string "cic:/dummy_conv.dec");;