* http://helm.cs.unibo.it/
*)
-val pp_environment: DisambiguateTypes.environment -> string
+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
+val pp_environment: DisambiguateTypes.environment -> string