def es.lit.of

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

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

924def es.lit.of(r: Lz & U32, w: Bits.Writer, +i: U32, +n: U32) -> Es:
925  (z, +c) = r
926  +j = (i + 1 : U32)
927  Es{z, em.lit(w, c), j, n, U32.is_lt(j, n)}