Syntax definition cbits

Description: Define the binary bits of an integer.

	Ref	Expression
Assertion	cbits	$$class\mathrm{bits}$$