/**
* This method evaluates whether the left operand is identical to the right operand.
*
* @access public
* @static
* @param ITuple\Type $xs the left operand
* @param Core\Type $ys the right operand
* @return IBool\Type whether the left operand is identical
* to the right operand
*/
public static function id(ITuple\Type $xs, Core\Type $ys) : IBool\Type
{
// ===
if ($xs->__typeOf() === $ys->__typeOf()) {
return IBool\Type::box(ITuple\Module::compare($xs, $ys)->unbox() == 0);
}
return IBool\Type::false();
}
