File gc_core/js/jsex_set.js artifact c1ba86ddef part of check-in 4c54eb7636
// 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; }