Возможно ли объявление типа в interface, описание - в implementation

[Александр Павлович]

Возможно ли что-то в таком духе:

unit U1;
interface
type myStackOfInt; // как бы "forward"

procedure push ( x:myStackOfInt; n:integer);
function pop ( x:myStackOfInt) : integer;

implementation

 // как-то определяю тип и процедуры
...............
end.

Цель - имитировать ООП процедурными средствами. Запретить работать непосредственно с данными.
Заранее спасибо.

[Slym]

unit StackUnit;

interface

function CreateStack:pointer;
procedure FreeStack(Stack:pointer);
procedure push (Stack:pointer; n:integer);
function pop ( Stack:pointer):integer;

implementation

type
  PStackElement=^TStackElement;
  TStackElement=record
    Value:integer;
    Prev:PStackElement;
  end;
  PStack=^TStack;
  TStack=record
    Element:PStackElement;
  end;

function CreateStack:pointer;
var Stack:PStack;
begin
  new(Stack);
  Stack.Element:=nil;
  result:=Stack;
end;

procedure FreeStack(Stack:pointer);
var E:PStackElement;
begin
  while PStack(Stack).Element<>nil do
  begin
    E:=PStack(Stack).Element;
    PStack(Stack).Element:=E.Prev;
    dispose(E);
  end;
  dispose(Stack);
end;

procedure push (Stack:pointer; n:integer);
var E:PStackElement;
begin
  new(E);
  E.Value:=n;
  E.Prev:=PStack(Stack).Element;
  PStack(Stack).Element:=E;
end;

function pop (Stack:pointer):integer;
var E:PStackElement;
begin
  E:=PStack(Stack).Element;
  PStack(Stack).Element:=E.Prev;
  result:=E.Value;
  dispose(E);
end;

end.

[Slym]

procedure TForm1.Button1Click(Sender: TObject);
var s:pointer;
i:integer;
begin
  s:=CreateStack;
  for i:=1 to 10 do
    push(s,i);

  for i:=1 to 10 do
    memo1.lines.add(IntToStr(pop(s)));

  for i:=1 to 10 do
    push(s,i);

  FreeStack(s);
end;

[Александр Павлович]

Спасиба!
Я понял. Всё можно, но без контроля типа.

[Slym]

контролем типа занимается только unit StackUnit тут создание тут и убийство
тоже самое что windows занимается контролем типа THandle, что за THandle скрывается сокет, пайп или файл определяет сама винда