TermParamClauseMethods

Is this a erased parameter clause (erased x1: X1, ..., xn: Xn)

Is this a given parameter clause (using X1, ..., Xn) or (using x1: X1, ..., xn: Xn)

Is this an implicit parameter clause (implicit x1: X1, ..., xn: Xn)

List of parameters of the clause