val aliases_of_domain_and_codomain_items_list:
(DisambiguateTypes.domain_item * DisambiguateTypes.codomain_item) list ->
GrafiteAst.alias_spec list
val aliases_of_domain_and_codomain_items_list:
(DisambiguateTypes.domain_item * DisambiguateTypes.codomain_item) list ->
GrafiteAst.alias_spec list