alias_of_domain_and_codomain_items domain_item codomain_item::acc
) [] l
-let commands_of_domain_and_codomain_items_list l =
- List.map
- (fun alias -> GrafiteAst.Alias (dummy_floc, alias))
- (aliases_of_domain_and_codomain_items_list l)
-
let pp_environment env =
let aliases = aliases_of_environment env in
let strings =