Syntax definition ccoa

Description: Extend class notation to include composition for arrows.

	Ref	Expression
Assertion	ccoa	class compa