* order to be equal to aliases of the second argument *)
val alias_diff:
from:LexiconEngine.status -> LexiconEngine.status ->
- (DisambiguateTypes.domain_item * DisambiguateTypes.codomain_item) list
+ (DisambiguateTypes.domain_item * LexiconAst.alias_spec) list
val push: unit -> unit
val pop: unit -> unit