Syntax definition cclwlks

Description: Extend class notation with closed walks (of a graph).

	Ref	Expression
Assertion	cclwlks	$$class\mathrm{ClWalks}$$