Syntax definition cfrmd

Description: Extend class definition with the free monoid construction.

	Ref	Expression
Assertion	cfrmd	$$class\mathrm{freeMnd}$$