File js_extension/set.js artifact c1ba86ddef part of check-in 98cbf77aef
// 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; }