Syntax definition cunc-

Description: Notation for the parameterized uncurrying function.

	Ref	Expression
Assertion	cunc-	$$class\mathrm{uncurry\_}$$