impl_bounded_ops
This would be necessary if, in another crate, one wants to implement operators.
Cargo.toml
r1cs-std
ConstraintSystem