aliases: LexiconAst.alias_spec DisambiguateTypes.Environment.t;
multi_aliases: LexiconAst.alias_spec list DisambiguateTypes.Environment.t;
lexicon_content_rev: LexiconMarshal.lexicon;
- notation_ids: CicNotation.notation_id list; (** in-scope notation ids *)
}
class type g_status =
object
+ inherit CicNotation.g_status
method lstatus: lexicon_status
end
class status :
object ('self)
inherit g_status
+ inherit CicNotation.status
method set_lstatus: lexicon_status -> 'self
method set_lexicon_engine_status: #g_status -> 'self
end