Syntax definition ccusp

Description: Extend class notation with the class of all complete uniform spaces.

	Ref	Expression
Assertion	ccusp	$$class\mathrm{CUnifSp}$$