For example , we might assume a base type nat , and the term constants could be the natural numbers .
We also fix a set of term constants for the base types .
We might assume a base type nat , and the term constants could be the natural numbers .
We also fix a set of term constants for the base types .