interacting objects

interacting objects

[HDhil]

If i specify an object in one package specification,
is it possible to write functions in a second
object's specification referncing the former object
(or types of the former object)?

For example,

package A {
     type FirstObj is private;

     -- some code
}

package B {
    type SecondObj is private;

    function DoSomethingOnSecondObj return FirstObj;
}

Regards,
Harry