<> <> <> <> DIRECTORY CHNameP2V0; CHNameP2V0Aux: CEDAR DEFINITIONS ~ { OPEN CHNameP2V0; ExposeTwoPartName: PROC [arg: TwoPartName, level: NAT] RETURNS [res: ROPE]; ExposeThreePartName: PROC [arg: ThreePartName, level: NAT] RETURNS [res: ROPE]; }...