<> <> <> DIRECTORY SaffronATDef USING [DeclarationNode], CedarBaseNarrow USING []; CedarBaseNarrowImpl: CEDAR PROGRAM EXPORTS CedarBaseNarrow ~ { NarrowToDeclaration: PUBLIC PROC [ref: REF ANY] RETURNS [SaffronATDef.DeclarationNode] ~ { RETURN [NARROW[ref]]; }; }...