notation_ids: CicNotation.notation_id list; (** in-scope notation ids *)
}
+class type g_status =
+ object
+ method lstatus: lexicon_status
+ end
+
class status :
object ('self)
- method lstatus: lexicon_status
+ inherit g_status
method set_lstatus: lexicon_status -> 'self
- method set_lexicon_engine_status: < lstatus: lexicon_status ; .. > -> 'self
+ method set_lexicon_engine_status: #g_status -> 'self
end
val eval_command : #status as 'status -> LexiconAst.command -> 'status