Syntax definition csad

Description: Define the sequence addition on bit sequences.

	Ref	Expression
Assertion	csad	class sadd