AnyNumberedName
dotty.tools.dotc.core.NameKinds.AnyNumberedName
object AnyNumberedName
An extractor for numbered names of arbitrary kind
Attributes
- Graph
-
- Supertypes
- Self type
-
AnyNumberedName.type
Members list
In this article