pub fn boolean<F: Field, T: ExprOps<F>>(b: &T) -> T
Creates a constraint to enforce that b is either 0 or 1.