| 230 | |
| 231 | /* some_1 : TWO |- TWO */ |
| 232 | bool simplicity_some_1(frameItem* dst, frameItem src, const txEnv* env) { |
| 233 | (void) env; /* env is unused. */ |
| 234 | bool x = readBit(&src); |
| 235 | writeBit(dst, x); |
| 236 | return true; |
| 237 | } |
| 238 | |
| 239 | #define SOME_(bits) \ |
| 240 | /* some_n : TWO^n |- TWO */ \ |