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