List of base types (generalizations)
One or more base types are required, which the current type inherits.
Definition:
base_types := base_type [base_type_suc(*)]
One or more base types are required, which the current type inherits.
base_types := base_type [base_type_suc(*)]