tcs2.cspcasl revision 8400689f5338073e0f5fe1ae9a1cdb658c2db83b
4eaeba586d49aa0761ee2bb6d20efba91562cef6Andy Gimblettdata sorts S < T
8400689f5338073e0f5fe1ae9a1cdb658c2db83bAndy Gimblett ops c: S; d: T;
8400689f5338073e0f5fe1ae9a1cdb658c2db83bAndy Gimblett tcs2 = c -> SKIP || d -> SKIP