Input.utf8.step: def of bend-kit-camber@0.15.0.1
Import: import bend-kit-camber@0.15.0.1/input.bend as Input
Lines 88-92 of bend-kit-camber@0.15.0.1/input.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-camber@0.15.0.1/input.bend&start_line=88&end_line=92

import Base
import bend-kit-router@0.2.0.0/target.bend as Target

# Reuse Target's RFC 3629 state machine directly over the owned packed array.
def utf8.step(pair: Array<U32> & U32, state: Target.Utf) -> Array<U32> & Maybe<&2, Target.Utf>:
  (bytes, byte) = pair
  Target.Utf{+need, lo, hi, cp, out} = state
  (bytes, Target.utf.step(U32.is_eq(need, 0), byte, need, lo, hi, cp, out))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/target.bend&name=Utf
  https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/target.bend&name=utf.step