ark_r1cs_std

Macro impl_bounded_ops

Source
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 FieldVars and GroupVars.

When compared to impl_ops, this macro allows specifying additional trait bounds.