Zlib.es.lit.of: def of bend-kit-zlib@0.5.1.0
Import: import bend-kit-zlib@0.5.1.0/zlib.bend as Zlib
Lines 924-927 of bend-kit-zlib@0.5.1.0/zlib.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&start_line=924&end_line=927

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

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

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bits@0.1.0.1/bits.bend&name=Writer
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=Es
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=Lz
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=em.lit