def ins.go

bend-kit-zlib@0.5.1.0 · zlib.bend:939

import Base

939# Positions inside a match join their chains too, when three bytes remain.
940def ins.go(k: Nat, z: Lz, +j: U32, +n: U32) -> Lz:
941  match k:
942    case 0n:
943      z
944    case 1n+f:
945      ins.go(f, ins.one(U32.is_le((j + 3 : U32), n), z, j), (j + 1 : U32), n)