private Chan VisitChan(Chan chan) { WriteStart("chan {0} ", chan.Name.Name); this.VisitTypeReference(chan.ChannelType); WriteFinish(";"); return chan; }