Syntax definition coms

Description: Class declaration for the outer measure construction function.

	Ref	Expression
Assertion	coms	$$class\mathrm{toOMeas}$$