Type Definition snarkvm_synthesizer_program::Modulo

source · 
pub type Modulo<N> = BinaryLiteral<N, ModuloOperation<N>>;
Expand description

Computes the result of first mod second, storing the outcome in the destination.