| 
  | 
The internal map of port numbers to implementation indexes. This consists of a collection of pairs (public port number, implementation port index)
| int index | index | 
| bool isInternal | isInternal | 
|  PortInfo (int n, bool i)
 | PortInfo | 
| Generated by: pete on philemon on Wed May 25 14:39:52 2005, using kdoc 2.0a54. |