Syntax definition cimdir

Description: Syntax for the functionalized direct image.

	Ref	Expression
Assertion	cimdir	Could not format assertion : No typesetting found for class ~P_* with typecode class