title: Use type before full declaration
body: <p>I have a simple question but I can't find the answer.</p>
  
  <p>Is it possible in Ada to have 2 types containing a component of each other's type?</p>
  
  <p>Here is a simple example of what I want to do:</p>
  
  <pre><code>type Toto is record
     T: Titi;
  end record;
  
  type Titi is record
     T: Toto;
  end record;
  </code></pre>
  
  <p>It is not working in this way but is it possible to make something equivalent?</p>