ab47f17102a0d0e6aa2cb937dfea1d7ec36c74cdChristian Maederlibrary ParameterSpecTest
ab47f17102a0d0e6aa2cb937dfea1d7ec36c74cdChristian Maeder pred A : sX *sX
ab47f17102a0d0e6aa2cb937dfea1d7ec36c74cdChristian Maederspec Sym [sort s pred p1:s*s] =
ab47f17102a0d0e6aa2cb937dfea1d7ec36c74cdChristian Maeder . p1(x,y) <=> p1(y,x)