Copyright © 1986 by Xerox Corporation. All rights reserved.

Bill Jackson (bj) October 9, 1986 5:00:37 am PDT

CHNameP2V0 USING [Name],

Rope USING [ROPE],

XNS USING [Address];

Address: TYPE ~ XNS.Address;

Name: TYPE ~ CHNameP2V0.Name;

ROPE: TYPE ~ Rope.ROPE;

AddressFromRope: PROC [name: ROPE] RETURNS [address: Address, distinguishedObject: Name];