pub fn crumb<F: Field, T: ExprOps<F>>(x: &T) -> T
Expand description

Crumb constraint for 2-bit value x