Cross Reference: /hets/CASL/test/WrongPredItem.casl

Cross Reference: WrongPredItem.casl

xref: /hets/CASL/test/WrongPredItem.casl

Home
History
Annotate
Line#
Navigate
Download
only in ./

pred a(a) <=> e

pred a = e

pred a() <=> e

pred a <=>#

pred a:?s

Indexes created Tue Jul 24 14:28:13 CEST 2018