Description

A type is represented by a tree consisting of one or more of the following type-specific expression nodes.