@A == @B

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

ex("boolean",[])

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

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

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

Проверка равенства выражений

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

is_eq_expr