TYMLの型定義

    この章ではTYMLの型定義の仕様について構文と意味論の観点から説明します。