status.LexiconEngine.aliases []
let alias_diff =
- let profiler = HExtlib.profile "alias_diff (conteggiato anche in include)" in
+ let profiler = HExtlib.profile "alias_diff(conteg. anche in include)" in
fun ~from status -> profiler.HExtlib.profile (alias_diff ~from) status
(** given a uri and a type list (the contructors types) builds a list of pairs
let add_aliases_for_objs =
List.fold_left
(fun status uri ->
- let obj,_ = CicEnvironment.get_obj CicUniv.empty_ugraph uri in
+ let obj,_ = CicEnvironment.get_obj CicUniv.oblivion_ugraph uri in
add_aliases_for_object status uri obj)
module OrderedId =
in
List.iter CicNotation.remove_notation notation_to_remove
-let init =
- {
- LexiconEngine.aliases = DisambiguateTypes.Environment.empty;
- multi_aliases = DisambiguateTypes.Environment.empty;
- lexicon_content_rev = [];
- notation_ids = [];
- metadata = [];
- }