Grammalecte  jsex_set.js at [82d2c8dea2]

File gc_core/js/jsex_set.js artifact c1ba86ddef part of check-in 82d2c8dea2

// Set
/*jslint esversion: 6*/

if (Set.prototype.grammalecte === undefined) {
    Set.prototype.gl_update = function (aSet) {
        for (let elem of aSet) {
            this.add(elem);
        }
    };

    Set.prototype.grammalecte = true;
}