ValuePromotion

Companion:
class
class Object
trait Matchable
class Any

Type members

Types

final type &:[H, T]
final type TNil

Givens

Givens

given ctx_VP_Path[VF, VT]: ValuePromotion[VF, VT]