class type g_status =
object
- inherit LexiconTypes.g_status
+ inherit CicNotationParser.g_status
method parser_db: db
end
class status :
object('self)
- inherit LexiconTypes.status
+ inherit CicNotationParser.status
method parser_db : db
method set_parser_db : db -> 'self
method set_parser_status : 'status. #g_status as 'status -> 'self