AnyNumberedName

dotty.tools.dotc.core.NameKinds$.AnyNumberedName$

An extractor for numbered names of arbitrary kind

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods