IndexingExample.het revision 224d2b804fd6f92d9d553a3d6fe54dd14a73dde2
library IndexingExample
spec A =
sorts A,B,C < T
preds R1 : A * B;
R2 : B * C;
R3 : C * T
end
spec B =
sorts A,B,F,G < T
preds R1 : A * B;
R2 : B * G;
R3 : F * T
end
spec Combination =
A
with A |-> A[A]
and
B with A |-> A[B]
end