CspCASL/test/tcs1.cspcasl

	tcs1.cspcasl revision 197888c54795ec1e79e77289b7e20436a6db74c0
7ae67d07c8b605503c300a7da2d11974a2702904Christian Maederlogic CspCASL
167414650dc57c11c13ba85253f0211b3de0ecc5Christian Maederspec tcs1 =
197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblett  data sort S, T
197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblett       ops c: S; d: T
c01168f53431b6ad785bf8a8b12bd3a60b93b9b4Andy Gimblett  process
05b3e12808da901dccd665715cb934462290d550Andy Gimblett    tcs1: S, T
197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblett    tcs1 = c -> SKIP || d  -> SKIP