The purpose of this section is to show some explicit prototypes and
usages for the functions described in Section
.
In that section, all the functions are shown with complete information
on which operations and their meaning are supported on some combination
of types. The purpose of this section is something like the inverse -
namely show all the functions and what are some (selected) usages.