functionalscript 0.43.1 → 0.44.0

package/fjs/types/btree/remove/proof.f.mjs

@@ -0,0 +1,472 @@
+import { nodeRemove } from './module.f.mjs'
+/** @import { TNode } from '../types/types.ts' */
+import { set as setSet } from '../set/module.f.mjs'
+import { cmp } from '../../string/module.f.mjs'
+import { stringify } from '../../../media/json/module.f.mjs'
+import { sort } from '../../object/module.f.mjs'
+import { assertEq, assertNotNullish } from '../../../asserts/module.f.mjs'
+
+/** @type {(node: TNode<string>) => (value: string) => TNode<string>} */
+const set = node => value =>
+    setSet(cmp(value))(() => value)(node)
+
+/** @type {(node: TNode<string>) => (value: string) => TNode<string> | null} */
+const remove = node => value =>
+    nodeRemove(cmp(value))(node)
+
+const jsonStr = stringify(sort)
+
+const test = () => {
+    /** @type {TNode<string> | null} */
+    let _map = ['1']
+    for (let i = 2; i <= 38; i++)
+        _map = set(_map)((i * i).toString())
+    {
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["1225"]]],' +
+            '"1296",' +
+            '[[["1369"],"144",["1444"]],"16",[["169"],"196",["225"]]]],' +
+            '"25",' +
+            '[[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("0"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["1225"]]],' +
+            '"1296",' +
+            '[[["1369"],"144",["1444"]],"16",[["169"],"196",["225"]]]],' +
+            '"25",' +
+            '[[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("1"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("4"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"]],"36",[["361"],"400",["441","484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("9"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"]],"36",[["361"],"400",["441","484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"900",["961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("16"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"]],"36",[["361"],"400",["441","484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"900",["961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("25"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]],"256",[["289","324"],"36",["361"],"400",["441","484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"900",["961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("36"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"900",["961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("49"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
+            '"529",' +
+            '[[["576","625"],"64",["676"],"729",["784"]],"81",[["841"],"900",["961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("64"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
+            '"529",' +
+            '[[["576"],"625",["676"],"729",["784"]],"81",[["841"],"900",["961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("81"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["100","1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
+            '"529",' +
+            '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("100"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1024"],"1089",["1156"],"121",["1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
+            '"529",' +
+            '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("121"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1024"],"1089",["1156","1225"]],"1296",[["1369"],"144",["1444"],"169",["196","225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
+            '"529",' +
+            '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("144"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"169",["196","225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
+            '"529",' +
+            '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("169"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"196",["225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
+            '"529",' +
+            '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("196"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1024"],"1089",["1156","1225"]],"1296",[["1369"],"1444",["225"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
+            '"529",' +
+            '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("225"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],"256",[["289"],"324",["361"],"400",["441","484"]]],' +
+            '"529",' +
+            '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("256"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],"289",[["324","361"],"400",["441","484"]]],' +
+            '"529",' +
+            '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("289"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],"324",[["361"],"400",["441","484"]]],' +
+            '"529",' +
+            '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("324"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],"361",[["400"],"441",["484"]]],' +
+            '"529",' +
+            '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("361"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"400",["441","484"]]],' +
+            '"529",' +
+            '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("400"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"441",["484"]]],' +
+            '"529",' +
+            '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("441"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1024"],"1089",["1156","1225"]],"1296",[["1369"],"1444",["484"]]],' +
+            '"529",' +
+            '[[["576"],"625",["676"]],"729",[["784"],"841",["900","961"]]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("484"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],' +
+            '"529",' +
+            '[["576"],"625",["676"]],' +
+            '"729",' +
+            '[["784"],"841",["900","961"]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("529"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"576",["625","676"]],' +
+            '"729",' +
+            '[["784"],"841",["900","961"]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("576"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"625",["676"]],' +
+            '"729",' +
+            '[["784"],"841",["900","961"]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("625"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369"],"1444",["676"]],' +
+            '"729",' +
+            '[["784"],"841",["900","961"]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("676"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],' +
+            '"729",' +
+            '[["784"],"841",["900","961"]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("729"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]],' +
+            '"784",' +
+            '[["841"],"900",["961"]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("784"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"841",["900","961"]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("841"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369","1444"],"900",["961"]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("900"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[[["1024"],"1089",["1156","1225"]],"1296",[["1369"],"1444",["961"]]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("961"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[["1024"],"1089",["1156","1225"],"1296",["1369","1444"]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("1024"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[["1089"],"1156",["1225"],"1296",["1369","1444"]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("1089"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[["1156","1225"],"1296",["1369","1444"]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("1156"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[["1225"],"1296",["1369","1444"]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("1225"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '[["1296"],"1369",["1444"]]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("1296"), null)
+        const r = jsonStr(_map)
+        if (r !==
+            '["1369","1444"]'
+        ) { throw r }
+    }
+    {
+        _map = assertNotNullish(remove(_map)("1369"), null)
+        const r = jsonStr(_map)
+        assertEq(r, '["1444"]')
+    }
+    {
+        _map = remove(_map)("1444")
+        assertEq(_map, null)
+    }
+}
+
+const test2 = () => {
+    /** @type {TNode<string> | null} */
+    let _map = ['1']
+    for (let i = 2; i <= 10; i++)
+        _map = set(_map)((i * i).toString())
+    assertEq(_map.length, 3, _map)
+    let _s = jsonStr(_map)
+    assertEq(_s, '[[["1","100"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]')
+
+    {
+        _map = assertNotNullish(remove(_map)("4"), _map)
+        _s = jsonStr(_map);
+        assertEq(_s, '[[["1","100"],"16",["25","36"]],"49",[["64"],"81",["9"]]]')
+    }
+
+    {
+        _map = assertNotNullish(remove(_map)("49"), _map)
+        _s = jsonStr(_map);
+        assertEq(_s, '[["1","100"],"16",["25","36"],"64",["81","9"]]')
+    }
+
+    {
+        _map = assertNotNullish(remove(_map)("64"), _map)
+        _s = jsonStr(_map);
+        assertEq(_s, '[["1","100"],"16",["25","36"],"81",["9"]]')
+    }
+
+    {
+        _map = assertNotNullish(remove(_map)("81"), _map)
+        _s = jsonStr(_map);
+        assertEq(_s, '[["1","100"],"16",["25"],"36",["9"]]')
+    }
+
+    {
+        _map = assertNotNullish(remove(_map)("36"), _map)
+        _s = jsonStr(_map);
+        assertEq(_s, '[["1","100"],"16",["25","9"]]')
+    }
+
+    {
+        _map = assertNotNullish(remove(_map)("16"), _map)
+        _s = jsonStr(_map);
+        assertEq(_s, '[["1","100"],"25",["9"]]')
+    }
+
+    {
+        _map = assertNotNullish(remove(_map)("25"), _map)
+        _s = jsonStr(_map);
+        assertEq(_s, '[["1"],"100",["9"]]')
+    }
+
+    {
+        _map = assertNotNullish(remove(_map)("100"), _map)
+        _s = jsonStr(_map);
+        assertEq(_s, '["1","9"]')
+    }
+
+    {
+        _map = assertNotNullish(remove(_map)("9"), _map)
+        _s = jsonStr(_map);
+        assertEq(_s, '["1"]')
+    }
+
+    {
+        _map = remove(_map)("1")
+        assertEq(_map, null)
+    }
+}
+
+// Exercises the branch-merge-into-Branch5-sibling path in reduceValue0
+// (removing an underflowed left leaf merges into a 5-wide right branch).
+const test3 = () => {
+    /** @type {TNode<string> | null} */
+    let _map = ['1']
+    for (let i = 2; i <= 50; i++)
+        _map = set(_map)(i.toString())
+
+    _map = assertNotNullish(remove(_map)('40'), _map)
+
+    _map = assertNotNullish(remove(_map)('10'), _map)
+    const r = jsonStr(_map)
+    if (r !==
+        '[[[[["1","11"],"12",["13"],"14",["15"]],"16",[["17"],"18",["19"]],"2",[["20"],"21",["22"]]],' +
+        '"23",' +
+        '[[["24"],"25",["26"]],"27",[["28"],"29",["3"]]]],' +
+        '"30",' +
+        '[[[["31"],"32",["33"]],"34",[["35"],"36",["37"],"38",["39"]]],' +
+        '"4",' +
+        '[[["41","42"],"43",["44"],"45",["46"]],"47",[["48"],"49",["5","50"]],"6",[["7"],"8",["9"]]]]]'
+    ) { throw r }
+}
+
+export const proof = {
+    test,
+    test2,
+    test3,
+}

package/fjs/types/btree/set/module.f.d.mts

@@ -0,0 +1,5 @@
+import type { Branch1, Branch3, TNode, Tree } from '../types/types.ts';
+import type { Compare } from '../../function/compare/types.ts';
+export type _Branch1To3<T> = Branch1<T> | Branch3<T>;
+/** @type {<T>(c: Compare<T>) => (f: (value: T|null) => T) => (tree: Tree<T>) => TNode<T>} */
+export declare const set: <T>(c: Compare<T>) => (f: (value: T | null) => T) => (tree: Tree<T>) => TNode<T>;

package/fjs/types/btree/set/module.f.mjs

@@ -0,0 +1,117 @@
+/**
+ * Insertion and update operations for persistent B-tree structures.
+ *
+ * @module
+ */
+import { collapseRoot } from '../types/module.f.mjs'
+/** @import { Branch1, Branch3, Branch5, Branch7, TNode, Tree } from '../types/types.ts' */
+
+import { find } from '../find/module.f.mjs'
+/** @import { First, PathItem, Result } from '../find/types.ts' */
+
+/** @import { Compare } from '../../function/compare/types.ts' */
+
+import { fold } from '../../list/module.f.mjs'
+
+/**
+ * @template T
+ * @typedef {Branch1<T> | Branch3<T>} _Branch1To3
+ */
+
+/** @type {<T>(b: Branch5<T> | Branch7<T>) => _Branch1To3<T>} */
+const b57 = b => b.length === 5 ? [b] : [[b[0], b[1], b[2]], b[3], [b[4], b[5], b[6]]]
+
+/** @type {<T>(i: PathItem<T>) => (a: _Branch1To3<T>) => _Branch1To3<T>} */
+const reduceOp = ([i, x]) => a => {
+    switch (i) {
+        case 0: {
+            switch (x.length) {
+                case 3: { return [[...a, x[1], x[2]]] }
+                case 5: { return b57([...a, x[1], x[2], x[3], x[4]]) }
+            }
+        }
+        case 2: {
+            switch (x.length) {
+                case 3: { return [[x[0], x[1], ...a]] }
+                case 5: { return b57([x[0], x[1], ...a, x[3], x[4]]) }
+            }
+        }
+        case 4: {
+            return b57([x[0], x[1], x[2], x[3], ...a])
+        }
+    }
+}
+
+const reduceBranch = fold(reduceOp)
+
+/** @type {<T>(c: Compare<T>) => (g: (value: T | null) => T) => (node: TNode<T>) => TNode<T>} */
+const nodeSet = c => g => node => {
+    /** @typedef {typeof c extends Compare<infer T> ? T : never} T */
+    // Result<T> is { readonly first: First<T>, readonly tail: Path<T> }.
+    /** @type {Result<T>} */
+    const { first, tail } = find(c)(node)
+    // First<T> is one of:
+    //   readonly[Index<3>, Leaf1<T>]
+    //   readonly[1, Branch3<T>]
+    //   readonly[Index<5>, Leaf2<T>]
+    //   readonly[1|3, Branch5<T>]
+    /** @type {First<T>} */
+    const [i, x] = first
+    /** @type {() => _Branch1To3<T>} */
+    const f = () => {
+        switch (i) {
+            case 0: {
+                // insert
+                const value = g(null)
+                switch (x.length) {
+                    case 1: { return [[value, x[0]]] }
+                    case 2: { return [[value], x[0], [x[1]]] }
+                }
+            }
+            case 1: {
+                // replace
+                switch (x.length) {
+                    case 1: { return [[g(x[0])]] }
+                    case 2: { return [[g(x[0]), x[1]]] }
+                    case 3: { return [[x[0], g(x[1]), x[2]]] }
+                    case 5: { return [[x[0], g(x[1]), x[2], x[3], x[4]]] }
+                }
+            }
+            case 2: {
+                // insert
+                const value = g(null)
+                // TODO: remove after TSGO fix the regression.
+                // const _xl: 1|2 = x.length
+                switch (x.length) {
+                    case 1: { return [[x[0], value]] }
+                    case 2: { return [[x[0]], value, [x[1]]] }
+                }
+                // TODO: remove after TSGO fix the regression.
+                // See https://github.com/microsoft/typescript-go/issues/4613
+                throw 'unreachable'
+            }
+            case 3: {
+                // replace
+                // TODO: remove after TSGO fix the regression.
+                // const _xl: 2|5 = x.length
+                switch (x.length) {
+                    case 2: { return [[x[0], g(x[1])]] }
+                    case 5: { return [[x[0], x[1], x[2], g(x[3]), x[4]]] }
+                }
+                // TODO: remove after TSGO fix the regression.
+                throw 'unreachable'
+            }
+            case 4: {
+                // insert
+                // TODO: remove after TSGO fix the regression.
+                // const _xl: 2 = x.length
+                const [v0, v1] = x
+                return [[v0], v1, [g(null)]]
+            }
+        }
+    }
+    return collapseRoot(reduceBranch(f())(tail))
+}
+
+/** @type {<T>(c: Compare<T>) => (f: (value: T|null) => T) => (tree: Tree<T>) => TNode<T>} */
+export const set = c => f => tree => tree === null ? [f(null)] : nodeSet(c)(f)(tree)