Turn a Boolean constraint into a reviewable oracle

module visual_affine_xor_3_1;
@target("browser-stabilizer");

xor_oracle visual_constraint(x: QReg<3>, out: QReg<1>) {
  CNOT(x[0], out[0]);
  CNOT(x[2], out[0]);
}

algorithm apply_visual<const N: Int, const M: Int>(
  x: QReg<N>,
  out: QReg<M>,
  oracle f: XorOracle<N, M>
) {
  f(x, out);
}

fn main() {
  let x: QReg<3> = qreg[3];
  let out: QReg<1> = qreg[1];
  apply_visual<3, 1>(x, out, oracle: visual_constraint);
}