Cross Reference: tcs2.cspcasl
xref
: /
hets
/
CspCASL
/
test
/
tcs2.cspcasl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
tcs2.cspcasl revision 567db7182e691cce5816365d8c912d09ffe92f86
ccspec tcs2 =
data sorts S < T
ops c: S; d: T
. c = d
process c -> SKIP || d -> SKIP