typespec Production

Definition

typespec : typequal_list ref
         | typequal_list collect_spec
         | typequal_list enum_spec

Purpose

A typespec gives a base type. This is either a user- or pre-defined type, given with the ref, a collection type, given by the collect_spec, or an enumeration type given by the enum_spec.