CspCASL/test/tcs1.cspcasl

	tcs1.cspcasl revision 9bf2e821ea5dc827aad8a092bd90bd587f8acb09
logic CASL
spec D[sort S] =
    sort T
    ops c: S; d: T

logic CspCASL
spec tcs1 =
  data D[sort U]
  process
    tcs1 = c -> SKIP || d -> SKIP ;
    tcs1 = c -> SKIP || d -> SKIP