path: root/test/regress/regress0/precedence/eq-fun.cvc

% EXPECT: entailed
% Simple test for right precedence of function application and =

T : TYPE;
x , y: T;
f : T -> T;

QUERY (f(x) = f(y)) <=> ((f(x)) = (f(y)));