/api/dotty/tools/dotc/core/NameOps$/
../
NameDecorator$.html
NameDecorator.html
TermNameDecorator$.html
TermNameDecorator.html
compactify$.html