TermParamClauseMethods

Extension methods of TermParamClause

Extensions

Extensions

extension (self: TermParamClause)

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

List of parameters of the clause