@tepm1 = @term2

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

ex("command",[])

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

var(ex("term",[])),w("="),var(ex("term",[]))

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

Полагаются равными два выражения.

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

make_equal