TermParamClauseMethods

Extension methods of TermParamClause

Extension methods of TermParamClause

Extensions

Extensions

extension (self: TermParamClause)

Is this a given parameter clause (using X1, ..., Xn) or (using 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)

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

List of parameters of the clause

List of parameters of the clause