(Type t)
| 6989 | } |
| 6990 | |
| 6991 | private static String brace(Type t) { |
| 6992 | if(t.shape() < 2) { |
| 6993 | return "(" + t + ")"; |
| 6994 | } else { |
| 6995 | return t.toString(); |
| 6996 | } |
| 6997 | } |
| 6998 | |
| 6999 | public static String toString(Tuple<? extends Syntactic.Item> items) { |
| 7000 | String r = ""; |