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