(*------------------------------------------------------------------------*)
DEFINITION MODULE PADR;

FROM KERN IMPORT CELL,PORT,INST,NET,DIRN;

EXPORT QUALIFIED BusEl, Bus, SizeOfBus, Route ;

TYPE BusEl    =   RECORD
                     ok   : BOOLEAN ;
		     wid  : INTEGER ;
                     inst : INST ;
                     port : PORT ;
                     net  : NET
                  END ;
                  
     Bus = ARRAY [0..31] OF BusEl ;

PROCEDURE Route (na:ARRAY OF CHAR; VAR from:Bus; dirn:DIRN; VAR to:Bus) ;

PROCEDURE SizeOfBus (VAR b:Bus) : INTEGER ;

END PADR.
(*------------------------------------------------------------------------*)
