Function simplicity_and_1

src/simplicity/jets.c:88–94

/* and_1 : TWO * TWO |- TWO */
bool simplicity_and_1(frameItem* dst, frameItem src, const txEnv* env) {
  (void) env; /* env is unused. */
  bool x = readBit(&src);
  bool y = readBit(&src);
  writeBit(dst, x && y);
  return true;
}

#define AND_(bits)                                                            \
/* and_n : TWO^n * TWO^n |- TWO^n */                                          \