Extension methods of TermParamClause
TermParamClause
Is this a given parameter clause (implicit X1, ..., Xn), (given X1, ..., Xn) or (given x1: X1, ..., xn: Xn)
(implicit X1, ..., Xn)
(given X1, ..., Xn)
(given x1: X1, ..., xn: Xn)
List of parameters of the clause