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