タイプ

コンテキスト：

    プログラムの構造

type-specification

例

class-id A.
...
end class.

interface-id I.
...
end interface.