<<>> <> <> <> DIRECTORY IO USING [STREAM], PFSNames USING [Component, PATH, Version], Rope USING [ROPE]; XNSFilingNames: CEDAR DEFINITIONS ~ { OPEN PFSNames, Rope; UnparseName: PROC [name: PATH] RETURNS [filingName: ROPE]; UnparseComponent: PROC [component: Component] RETURNS [r: ROPE]; UnparseVersion: PROC [version: Version] RETURNS [r: ROPE]; ParseName: PROC [name: ROPE] RETURNS [parsedName: PATH]; ParseComponent: PROC [name: ROPE, first: NAT _ 0] RETURNS [component: Component _ [], next: NAT]; ParseVersion: PROC [v: ROPE, first: NAT _ 0] RETURNS [version: Version _ [none], next: NAT]; ParseNameFromStream: PROC [s: IO.STREAM] RETURNS [name: PATH]; }.