Syntax definition csmu

Description: Define the sequence multiplication on bit sequences.

	Ref	Expression
Assertion	csmu	class smul