Function kimchi::circuits::expr::constraints::boolean

pub fn boolean<F: Field, ChallengeTerm, T: ExprOps<F, ChallengeTerm>>(
    b: &T
) -> T

Creates a constraint to enforce that b is either 0 or 1.