public string Print(ArrayTypeNode av)
 {
     return(Print(av.type) + "[]");
 }