<> <> <> <> DIRECTORY IO USING [STREAM], Rope USING [ROPE], SpinifexCircuit USING [LogicalCell, NodeLinkage, CircuitNode] ; SpinifexOutput: CEDAR DEFINITIONS ~ BEGIN PrintCircuit: PROCEDURE [cellList: LIST OF REF SpinifexCircuit.LogicalCell, formatKey: REF ANY]; LinkagePrintProc: TYPE ~ PROCEDURE [ stream: IO.STREAM, linkage: REF SpinifexCircuit.NodeLinkage, name: Rope.ROPE, PrintNode: NodePrintProc]; NodePrintProc: TYPE ~ PROCEDURE [ stream: IO.STREAM, node: REF SpinifexCircuit.CircuitNode]; END.