v 413 ページの『FORALL』インデックス変数は,構文内で明示的に宣言された 型および kind を持つことができます. v 派生型に加えて,TYPE 型指定子が,組み込み型のエンティティーを宣言するよ うに拡張されました. v 複数の型境界プロシージャーを 1 つの型境界プロシージャー・ステー...