Syntax definition cpprod

Description: Declare the syntax for the parallel product.

	Ref	Expression
Assertion	cpprod	class pprod ( R , S )