- aliases: Cic.term DisambiguateTypes.environment;(** disambiguation aliases *)
- multi_aliases: Cic.term DisambiguateTypes.multiple_environment;
+ aliases: LexiconAst.alias_spec DisambiguateTypes.Environment.t;
+ multi_aliases: LexiconAst.alias_spec list DisambiguateTypes.Environment.t;