if (y !== null && this.compare(ref.value, y.value) < 0) {
                cut(ref, y);
                list_insert(this.min, ref);
                for (const x of cascading_cut(y)) list_insert(this.min, x);
            }