Types

type-identifier
the type referred to.

type-constructor-identifier( type, ..., type)
a constructed type or type abbreviation. If there is only one type argument, the parentheses may be omitted.

( type)
same as type.



Ross Paterson <ross@soi.city.ac.uk>