Cross Reference: tcs2.cspcasl
xref: /hets/CspCASL/test/tcs2.cspcasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
8400689f5338073e0f5fe1ae9a1cdb658c2db83bAndy Gimblettlogic CspCASL
8400689f5338073e0f5fe1ae9a1cdb658c2db83bAndy Gimblettspec tcs2 =
4eaeba586d49aa0761ee2bb6d20efba91562cef6Andy Gimblettdata sorts S < T
8400689f5338073e0f5fe1ae9a1cdb658c2db83bAndy Gimblett ops c: S; d: T;
8400689f5338073e0f5fe1ae9a1cdb658c2db83bAndy Gimblett . c = d;
8400689f5338073e0f5fe1ae9a1cdb658c2db83bAndy Gimblettprocess
adce8375991a372444ab995895442dca6faf9677Andy Gimblett tcs2: T;
8400689f5338073e0f5fe1ae9a1cdb658c2db83bAndy Gimblett tcs2 = c -> SKIP || d -> SKIP

Indexes created Tue Jul 24 14:28:13 CEST 2018