SyntaxTest.het revision 0be0db405c49906bd7057255069bf6df53395ac9
library SyntaxTest
%number __@@__
%string emptyString, __:@:__
logic CASL_DL
spec X1 =
sort T1,T2,T3 < Thing
pred R1 : T1 * T2
forall x : Thing
. x in T3 <=> minCardinality[R1](x,10)
end