@F: @X -> @Y

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

ex("command",[])

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

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

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

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

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

mk_mor