/** * 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(); }