Что означает оператор `#` в Scala?

Я вижу этот код в этом блоге: Программирование на уровне типов в Scala :

// define the abstract types and bounds
trait Recurse {
  type Next <: Recurse
  // this is the recursive function definition
  type X[R <: Recurse] <: Int
}
// implementation
trait RecurseA extends Recurse {
  type Next = RecurseA
  // this is the implementation
  type X[R <: Recurse] = R#X[R#Next]
}
object Recurse {
  // infinite loop
  type C = RecurseA#X[RecurseA]
}

Существует оператор # в коде R # X [R # Next] , которого я никогда не видел. Поскольку его трудно искать (игнорируется поисковыми системами), кто может сказать мне, что это означает?