Grammalecte  Artifact [c1ba86ddef]

Artifact c1ba86ddef3e322d3a005b138a72a00541848b859560c98d7970d6527336a6f3:



// 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;
}