Ada 编程/分隔符/<>

方括号 <> 是占位符，表示未完全指定的内容。

上下文

type Some_Array is array (Positive range <>) of Some_Type;

声明一个仅在运行时才知道边界的数组类型。

type T (<>) is private;

generic
  type T is (<>);

这意味着T必须是离散类型：枚举类型、范围类型或模类型。

Some_Rec_Type'(others => <>);

generic
  with package P is new G
     (Param_1 => T,
      others => <>);