Syntax definition cmst

Description: The set of syntax trees.

	Ref	Expression
Assertion	cmst	$$class\mathrm{mST}$$