/**
* This method tests the "id" method.
*/
public function test_id()
{
$x = IBool\Type::true();
$y = IBool\Type::false();
$z = IBool\Module::id($x, $x);
$this->assertInstanceOf('\\Saber\\Data\\IBool\\Type', $z);
$this->assertSame(true, $z->unbox());
$z = IBool\Module::id($x, $y);
$this->assertInstanceOf('\\Saber\\Data\\IBool\\Type', $z);
$this->assertSame(false, $z->unbox());
}
/**
* This method evaluates whether the left operand is NOT identical to the right operand.
*
* @access public
* @static
* @param IBool\Type $x the left operand
* @param Core\Type $y the right operand
* @return IBool\Type whether the left operand is NOT identical
* to the right operand
*/
public static function ni(IBool\Type $x, Core\Type $y) : IBool\Type
{
// !==
return IBool\Module::not(IBool\Module::id($x, $y));
}