test2.casl revision 118a3240abc3c3ff233450b3551bd451d39ef6ea
spec sp =
sort s
op f:s->s
. forall x:s . f(x) = x
then
. exists x:s . f(x) = x
with s |-> s
end
spec sp1 =
sp hide f
end