TermParamClauseMethods

List of erased flags for each parameter of the clause

Whether the clause has any erased parameters

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