Encoding.utf8.step.st: def of bend-kit-encoding@0.5.0.0
Import: import bend-kit-encoding@0.5.0.0/encoding.bend as Encoding
Lines 123-125 of bend-kit-encoding@0.5.0.0/encoding.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-encoding@0.5.0.0/encoding.bend&start_line=123&end_line=125

import Base

def utf8.step.st(st: Utf8, +b: U32) -> Utf8:
  Utf8{+need, +lo, +hi, cp, out} = st
  utf8.step.if(need, lo, hi, cp, b, out, U32.is_eq(need, 0))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-kit-encoding@0.5.0.0/encoding.bend&name=Utf8
  https://jend.leeeet.dev/definition.txt?path=bend-kit-encoding@0.5.0.0/encoding.bend&name=utf8.step.if