☰
In kimchi::circuits::expr::constraints
?
Function
kimchi
::
circuits
::
expr
::
constraints
::
crumb
source
·
[
−
]
pub fn crumb<F: Field, T:
ExprOps
<F>>(x:
&T
) -> T
Expand description
Crumb constraint for 2-bit value x