Examples
void swap(int& var1, int& var2);
//precond: var1 and var2 have been given values
//postcond: the values of var1 and var2 have been interchanged
double celsius(doubel fahrenheit);
//precond: fahrenheit is a temperature expressed in degrees Fahrenheit
//postcond: the equivalent temperature express in degrees Celsius