Syntax definition ctransport

Description: Declare the syntax for the segment transport function.

	Ref	Expression
Assertion	ctransport	$$class\mathrm{TransportTo}$$