Посоветуйте как поступить!!!

Проблема, в упрощенном виде, следующая:
Есть класс А и класс Б, причем класс А содержит свойство - класс Б, а класс Б содержит свойство класс А. Выглядит как-то так:

unit AB;

interface

type
A=class
................
Om:B;
Im:B;
end;

type
B=class
......................
Om:A;
Im:A;
end;


При компиляции возникает проблема: так как 1-м описан класс А, то класса Б компилятор еще не видит, говорит "Тип не известен".

Есть мысль выкрутится указателями, но в пользовании будет не очень удобно, ведь можно было бы указывать А.Б.Свойство, а так прийдется явно заниматься приведением типов.

Поекспериментировал с наследственностью, описал оба класса как потомков от некоторого класса ABMain, а в классе А описал Om как ABMain. В класс А добавил метод

function A.GetOM:ABMain;
begin
result:=B(Self.Om);
end;

Но не смотря на приведение типа метод возвращает объект типа ABMain, вместо ожидаемого B.

Подскажите какие есть выходы в такой ситуации?

Код

type  TB = class;  TA = class    B: TB;  end;  TB = class    A: TA;  end;

type
TB = class;
Так попробывал, результат - Error :: Type 'TB' is not yet completely defined

правильно. потому что кроме TB = class ты ничего больше не написал, дельфя это посчитала forward-декларацией и выматерилась. ниже класс должен быть объявлен полностью.

Ура, заработало!!!!
Спасибо.

Я каждый класс описывал в своей секции type, как только объединил их в одну, откомпилилось без проблем !!!!!!!