What is an indefinite type and is there an example of it?

[Andrew Shvets <andrew.shvets@gmail.com>]

Hello,

I'm trying to figure out what an indefinite type is.  Ada Distilled doesn't even have the string "indefinite" in the entire document.  The Ada wikibook seems to say that it's a type of that does not have its range defined... ok, so does that make it an array that doesn't have it range defined at compile-time?  Is there more to this that I'm missing?

Also, I'm trying -- and not succeeding -- to make a minimum example of how to do this in Ada.  This is what I have so far and the compiler complains that there is no range defined.  My example could use some serious work.

with Ada.Text_IO;

procedure Indefinite_Type is
  type Unknown (<>) is ...;
  Integer : Unknown := 0;
begin
  null;
end Indefinite_Type;


Thank you in advance.