Syntax definition cfullfn

Description: Declare the syntax for the full function functor.

	Ref	Expression
Assertion	cfullfn	class FullFun 𝐹