sumVector Example

// return sum of vector elements 
int sumVector( const std::vector<int> &vect ) { 
    int sum = 0; 
    for ( int i = 0; i < vect.size(); i++ ) { 
        sum += vect[i]; 
    } 
    return sum; 
}
// requires: -- N/A --
// modified: -- N/A --
// ensures:  -- N/A --
// returns: (see maths below)

$$ \sum_{i=0}^{\text{vect.size()}-1}{\text{vect}[i]} $$