Internal/ptr uint64/replace cleanup - #759

Merged

ssoelvsten merged 8 commits into

mainfrom

internal/ptr_uint64/replace-cleanup

May 12, 2026

Commits on May 12, 2026

Make 'replace(ptr, lvl)' terminal-safe
ssoelvsten
committed
af6fb42
Add missing documentation for lifted functions to node
ssoelvsten
committed
0437d12
Add 'level_type' to 'node'
ssoelvsten
committed
a3db947
Move 'replace(...)' of data types with maps to their respective types
ssoelvsten
committed
6bc8666
Rename replace sub-algorithms and move monotone Reduce policy inside its algorithm
ssoelvsten
committed
4df8a00
Restructure comments on replace sub-algorithms
ssoelvsten
committed
f6865af
Fix typo in prod2u explanatory diagram
ssoelvsten
committed
a5056ba
Remove label from internal representation
ssoelvsten
committed
672eef0