Allow outsiders to get the list of ports declared by a module