Syntax definition csad

Description: Define the sequence addition on bit sequences.

	Ref	Expression
Assertion	csad	$$class\mathrm{sadd}$$