PredItem.casl.output revision faf8ae9e57aecf780f77f114de886af4c1a0f0cc
c797f343be2f3619bb1f5569753166ec49d27bdbChristian Maederpreds a, b, c : bc
c797f343be2f3619bb1f5569753166ec49d27bdbChristian Maederpred __<__ : a * a
75a6279dbae159d018ef812185416cf6df386c10Till Mossakowskipreds __<__, __==__ : a * a
c797f343be2f3619bb1f5569753166ec49d27bdbChristian Maederpreds a, # : ()
c797f343be2f3619bb1f5569753166ec49d27bdbChristian Maederpred a() <=> %()%
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederpred a(a, a :t) <=> %()%
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederpred a(a :t) <=> %()%