public static String[] defString(Symbol[] defs) { String[] strs = new String[defs.length]; for (int i = 0; i < defs.length; i++) strs[i] = defs[i].defString(); return strs;
public String defString() { return new SymbolTablePrinter().printSignature(this).toString();
    public static String[] defString(Symbol[] defs) {        String[] strs = new String[defs.length];        for (int i = 0; i < defs.length; i++)            strs[i] = defs[i].defString();        return strs;    }