timestamptz_le_timestamp(timestamp with time zone, timestamp without time zone)

implementation of <= operator

Name	Type	Mode
	timestamp with time zone	IN
	timestamp without time zone	IN