+class type g_status =
+ object
+ method lstatus: lexicon_status
+ end
+
+class status :
+ object ('self)
+ inherit g_status
+ method set_lstatus: lexicon_status -> 'self
+ method set_lexicon_engine_status: #g_status -> 'self
+ end
+
+val eval_command : #status as 'status -> LexiconAst.command -> 'status