型エイリアス GenerationScopeParams

GenerationScopeDefを構築するのに要る値。位置ではなく名前で渡す——値のほとんどが数値なので、 位置で並べると隣どうしを取り違えても型検査が通ってしまう。各値の意味は同名のフィールドが持つ。

除くのは導出される値（メートル換算）だけ。除き忘れても、構築側がその計算結果まで要求されて 型検査で止まるので、黙って通ることはない。