Syntax definition ccur-

Description: Syntax for the parameterized currying function.

	Ref	Expression
Assertion	ccur-	$$class\mathrm{curry\_}$$