type lexicon_status = {
aliases: GrafiteAst.alias_spec DisambiguateTypes.Environment.t;
- multi_aliases: GrafiteAst.alias_spec list DisambiguateTypes.Environment.t
+ multi_aliases: GrafiteAst.alias_spec list DisambiguateTypes.Environment.t;
+ new_aliases: (DisambiguateTypes.domain_item * GrafiteAst.alias_spec) list
}
class type g_status =
object
inherit Interpretations.g_status
inherit TermContentPres.g_status
- inherit CicNotationParser.g_status
method lstatus: lexicon_status
end
inherit g_status
inherit Interpretations.status
inherit TermContentPres.status
- inherit CicNotationParser.status
method set_lstatus: lexicon_status -> 'self
method set_lexicon_engine_status: #g_status -> 'self
end