+class type g_status =
+ object
+ inherit LexiconTypes.g_status
+ end
+
+class status =
+ object (self)
+ inherit LexiconTypes.status
+ method set_grafite_disambiguate_status
+ : 'status. #g_status as 'status -> 'self
+ = fun o -> (self#set_lexicon_engine_status o)
+ end
+