Merge remote-tracking branch 'origin/master'

Administrator

2023-08-21 fdbb8d1d091524727456bf63d86b9612d39f822d

1
2
3
4
5
6
7
8
'use strict';
require('../../modules/es6.set');
require('../../modules/es7.set.of');
var $Set = require('../../modules/_core').Set;
var $of = $Set.of;
module.exports = function of() {
  return $of.apply(typeof this === 'function' ? this : $Set, arguments);
};