Syntax definition cmrc

Description: The class function generating Moore closures.

	Ref	Expression
Assertion	cmrc	$$class\mathrm{mrCls}$$