PredItem.casl.output revision d5bafd42bc0cadf07032b4e7a1a92d90afb7c973
pred a : bc
preds a, b, c : bc
pred __<__ : a * a
preds __<__, __==__ : a * a
pred a : ()
preds a, # : ()
pred a() <=>
%()%
a <=> a
pred a(a, a : t) <=>
%()%
a <=> a
pred a(a : t) <=>
%()%
a <=> a