verify : TWO |- ONE */
| 16 | |
| 17 | /* verify : TWO |- ONE */ |
| 18 | bool simplicity_verify(frameItem* dst, frameItem src, const txEnv* env) { |
| 19 | (void) env; /* env is unused. */ |
| 20 | (void) dst; /* dst is unused. */ |
| 21 | return readBit(&src); |
| 22 | } |
| 23 | |
| 24 | /* low_1 : ONE |- TWO */ |
| 25 | bool simplicity_low_1(frameItem* dst, frameItem src, const txEnv* env) { |