Trait snarkvm_circuit::Modulo

pub trait Modulo<Rhs = Self> where
    Rhs: ?Sized, {
    type Output;

    fn modulo(&self, rhs: &Rhs) -> Self::Output;
}

Binary operator for modding two values.

Required Associated Types

type Output

Required Methods

fn modulo(&self, rhs: &Rhs) -> Self::Output

Implementations on Foreign Types

impl<E, I> Modulo<Integer<E, I>> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

fn modulo(&self, other: &Integer<E, I>) -> Integer<E, I>

Returns the result of taking the modulus of self with respect to other.

type Output = Integer<E, I>

Implementors

impl<E, I> Modulo<Integer<E, I>> for snarkvm_circuit::integers::Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Output = Integer<E, I>