String name = symbol.nameString(); if (addLink) htmlGenerator.page.printAhref(htmlGenerator.ref(symbol), name); else htmlGenerator.page.print(name); return printType(symbol.loBound(), ">:", user) .printSymbolType(symbol, inner, user);
htmlGenerator.printSymbol(symbol, addLink); return printType(symbol.loBound(), ">:") .printSymbolType(symbol, inner);
    public SymbolTablePrinter printSignature(Symbol symbol, Symbol user, boolean addLink) {        String keyword = getSymbolKeyword(symbol);        if (keyword != null) print(keyword).space();        String inner = getSymbolInnerString(symbol);        String name = symbol.nameString();        if (addLink)	    htmlGenerator.page.printAhref(htmlGenerator.ref(symbol), name);	else            htmlGenerator.page.print(name);        return printType(symbol.loBound(), ">:", user)	    .printSymbolType(symbol, inner, user);    }