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
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 = [];
- }