Cross Reference: WrongPredItem.casl
xref
: /
hets
/
HasCASL
/
PrintLe.hs
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
WrongPredItem.casl revision 4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
pred a(a) <=> e
pred a = e
pred a() <=> e
pred a <=>#
pred a:?s
pred a %()% <=> e