Macro ark_r1cs_std::impl_bounded_ops [−][src]
macro_rules! impl_bounded_ops { ($type : ty, $native : ty, $trait : ident, $fn : ident, $assign_trait : ident, $assign_fn : ident, $impl : expr, $constant_impl : expr, ($($params : tt) +), $($bounds : tt) *) => { ... }; }
Expand description
Implements arithmetic traits (eg: Add
, Sub
, Mul
) for the given type
using the impl in $impl
.
Used primarily for implementing these traits for FieldVar
s and
GroupVar
s.
When compared to impl_ops
, this macro allows specifying additional trait
bounds.