2AFFB |
MEQ1stcase
|
( meta&ob1 ob2 → ob1=ob2 ? case )
Meta&ob1 ob2 ob1=ob2 ? case
|
2AF37 |
AEQ1stcase
|
( meta&ob → ob=nob ? case )
Meta&ob ob=nob ? case
|
2B01B |
MEQopscase
|
( meta1&ob1 meta2&ob2 ob3 → )
Meta1&ob1 Meta2&ob2 ob3
|
2B06A |
AEQopscase
|
meta1&ob1 meta2&ob2
Meta1&ob1 Meta2&ob2
|
2B083 |
Mid1stcase
|
( meta&ob → ob is id )
lam ? case
Meta&ob ob is id or lam ? case
|
2AE32 |
M-1stcasechs
|
( Meta&NEG → Meta COLA )
( Meta → Meta SKIP )
( Meta&(%<0) → Meta&ABS(%) COLA )
Meta&NEG Meta COLA ; Meta Meta SKIP
Meta&(%<0) Meta&ABS(%) COLA
|