Head

The head operation returns the first element of an ordered pair. The head operation is used extensively in the construction of the integers.

Tuple Overview

Login to edit