@NewF: @X -> @Y

Тип результата: 

ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

var(ex("new",[])),w(":"),var(ex("ob",[])),w("-"),w(">"),var(ex("ob",[]))

Комментарий: 

Новое отображение F из X в Y

Имя операции: 

mk_mor