+let aliases_of_environment env =
+ Environment.fold
+ (fun domain_item codomain_items acc ->
+ List.fold_left
+ (fun strings (dsc, _) ->
+ let s =
+ match domain_item with
+ | Id id -> GrafiteAst.Ident_alias (id, dsc)
+ | Symbol (symb, i) -> GrafiteAst.Symbol_alias (symb, i, dsc)
+ | Num i -> GrafiteAst.Number_alias (i, dsc)
+ in
+ s :: strings)
+ acc codomain_items)
+ env []
+
+let commands_of_environment env =
+ List.map
+ (fun alias -> GrafiteAst.Alias (dummy_floc, alias))
+ (aliases_of_environment env)
+