case class
TermParamRef
extends
ParamRef
Constructors
TermParamRef
(
binder:
TermLambda
,
paramNum:
Int
)
Members
type
BT
=
TermLambda
val
binder
: TermLambda
val
paramNum
: Int
def
_1
: T1
def
_2
: T2
def
copy
(
binder:
TermLambda
,
paramNum:
Int
)
: TermParamRef
def
copy$default$1
: TermLambda
def
copy$default$2
: Int
def
copyBoundType
(
bt:
BT
)
: Type