Syntax definition cedgf

Description: Extend class notation with an edge function.

	Ref	Expression
Assertion	cedgf	class .ef