ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХ

Равны ли @A и @B

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

boolean
ex("boolean",[])

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

терм, терм
ex("term",[]), ex("term",[])

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

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

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

is_eq_expr