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