Type Definition snarkvm_synthesizer_program::Sub

source · 
pub type Sub<N> = BinaryLiteral<N, SubOperation<N>>;
Expand description

Computes first - second, storing the outcome in destination.