Message in Japanese (日本語)
パーティション関数を定義するとき、パーティション関数のパラメータ型のリストを空にすることはできません。
Unlocalized message
Empty Partition function type-parameter-list is not allowed when defining a partition function.
Search by Google
パーティション関数を定義するとき、パーティション関数のパラメータ型のリストを空にすることはできません。

Empty Partition function type-parameter-list is not allowed when defining a partition function.
Search by Google