ada - Ada 制約のない型

Question

こんにちは、私は ada を初めて使用します。ある種の制約のない配列を作成しようとしていますが、ada でそれを行う方法がわかりません。

package data_puzzle is
    type rotation is private;
    type map(x_l,y_l,z_l : Natural) is private;
    type valid_rotations is private;
private
    type rotation is array(1..3) of Natural; 
    type map(x_l,y_l,z_l : Natural) is record
        struct : Structure(x_l,y_l,z_l);
        rot : rotation;
    end record;

    type valid_rotations is array(1..24) of map; --how can I make this row work?
end data_puzzle;

構造はこんな感じ

type structure(x_l,y_l,z_l : Natural) is record
    structure : xyz(1..x_l,1..y_l,1..z_l);
    X : Natural := x_l;
    Y : Natural := y_l;
    Z : Natural := z_l;
end record;

基本的に、回転とデータを含むマップがあります。次に、すべての異なる回転をサイズ 24 のリストに格納したいと思います。現在私が持っている唯一の解決策は、タイプ valid_rotations を開始して、map(x,y,z) の array(1..24) にすることです。しかし、その時点でサイズがどうなるかわからないので、そのように開始したくありません。

乾杯！