def lens.max

bend-kit-bits@0.1.0.1 · bits.bend:189

import bend-kit-bits@0.1.0.1/bits.bend as Bits

import Base

189def lens.max(xs: List<&2, Code>, +m: U32) -> U32:
190  match xs:
191    case Nil{}:
192      m
193    case Con{Code{sym, +len}, t}:
194      lens.max(t, U32.max(m, len))

Uses (4)

Used by (1)

bend-kit-bits@0.1.0.1/bits:Huff.from_codes