summaryrefslogtreecommitdiff
path: root/test/regress/regress0/precedence/eq-fun.cvc
blob: f207071b34e0a7702a41debc04df7e4c11f87865 (plain) 
1
2
3
4
5
6
7
8
9

% 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