PHP Manual: IS_NOT

IS_NOT_IDENTICAL


<?php
/*
 * compares value1 and value2 to see if they are unequal or of different types
 * opcode number: 16
 */
echo (1 !== 1);
?>

Function name: (null)

Compiled variables: none

line	#	op	return	operands
6	0	IS_NOT_IDENTICAL	~0	1,1
	1	ECHO		~0
7	2	RETURN		1