% EXPECT: valid
% 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)));
% EXIT: 20
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback