* http://helm.cs.unibo.it/
*)
-val parse_environment:
- string ->
- DisambiguateTypes.environment * DisambiguateTypes.multiple_environment
-
val aliases_of_domain_and_codomain_items_list:
(DisambiguateTypes.domain_item * DisambiguateTypes.codomain_item) list ->
GrafiteAst.alias_spec list