exception MetadataNotFound of string (* file name *)
type status = {
- aliases: DisambiguateTypes.environment; (** disambiguation aliases *)
- multi_aliases: DisambiguateTypes.multiple_environment;
+ aliases: Cic.term DisambiguateTypes.environment; (** disambiguation aliases *)
+ multi_aliases: Cic.term DisambiguateTypes.multiple_environment;
lexicon_content_rev: LexiconMarshal.lexicon;
notation_ids: CicNotation.notation_id list; (** in-scope notation ids *)
}
(uri,(fun _ _ _-> CicUtil.term_of_uri(UriManager.uri_of_string uri)))]
| LexiconAst.Symbol_alias (symb, instance, desc) ->
[DisambiguateTypes.Symbol (symb,instance),
- DisambiguateChoices.lookup_symbol_by_dsc symb desc]
+ DisambiguateChoices.cic_lookup_symbol_by_dsc symb desc]
| LexiconAst.Number_alias (instance,desc) ->
[DisambiguateTypes.Num instance,
DisambiguateChoices.lookup_num_by_dsc desc]
let diff =
try
[DisambiguateTypes.Symbol (symbol, 0),
- DisambiguateChoices.lookup_symbol_by_dsc symbol dsc]
+ DisambiguateChoices.cic_lookup_symbol_by_dsc symbol dsc]
with
DisambiguateChoices.Choice_not_found msg ->
prerr_endline (Lazy.force msg);