Copyright Ó 1988 by Xerox Corporation. All rights reserved.

Don Curry February 12, 1988 7:06:28 pm PST

IO;

~ BEGIN

PGACoord: TYPE = RECORD[let: Letter, idx: Index];

Letter:  TYPE = {a,b,c,d,e,f,g,h,j,k,l,m,n,p,q,r,s,t,u,v,w,x,y,z}; -- no i and 0

Index:   TYPE = NAT[1..25];

RopeToPGACoord:  PROC[rope: IO.ROPE] RETURNS [coord: PGACoord];

PGACoordToRope:  PROC[coord: PGACoord] RETURNS [rope: IO.ROPE];

Pin176ToPGACoord:  PROC[pin: NAT] RETURNS [coord: PGACoord];

PGACoordToPin176:  PROC[coord: PGACoord] RETURNS [pin: NAT𡤀];

Pin300ToPGACoord:  PROC[pin: NAT] RETURNS [coord: PGACoord];

PGACoordToPin300:  PROC[coord: PGACoord] RETURNS [pin: NAT𡤀];

Probe240ToPGACoord: PROC[pin: NAT] RETURNS [coord: PGACoord];

PGACoordToProbe240: PROC[coord: PGACoord] RETURNS [pin: NAT𡤀];

END.