Cross Reference: WrongPredItem.casl
xref
: /
hets
/
CASL
/
test
/
WrongPredItem.casl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
pred a(a) <=> e
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
pred a = e
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
pred a() <=> e
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
pred a <=>#
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
pred a:?s