summaryrefslogtreecommitdiff
path: root/test/regress/regress0/uf/simple.02.cvc
blob: 2bd0b1e1edc8cd851b2347845472629e9a85e102 (plain)
1
2
3
4
5
6
7
% EXPECT: not_entailed
A: TYPE;
B: TYPE;
x, y: A;
f: A -> B;
QUERY (f(x) = f(y));

generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback