Type Definition snarkvm_synthesizer_program::Add

source ·
pub type Add<N> = BinaryLiteral<N, AddOperation<N>>;
Expand description

Adds first with second, storing the outcome in destination.