Syntax definition csuccf

Description: Declare the syntax for the successor function.

	Ref	Expression
Assertion	csuccf	class Succ