Syntax definition cmty

Description: The type function.

	Ref	Expression
Assertion	cmty	$$class\mathrm{mType}$$