Syntax definition cmcls

Description: The closure of a set of statements.

	Ref	Expression
Assertion	cmcls	$$class\mathrm{mCls}$$