Target.utf.step: def of bend-kit-router@0.2.0.0
Import: import bend-kit-router@0.2.0.0/target.bend as Target
Lines 35-40 of bend-kit-router@0.2.0.0/target.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-router@0.2.0.0/target.bend&start_line=35&end_line=40

import Base

def utf.step(idle: Bool, +c: U32, need: U32, lo: U32, hi: U32, cp: U32, out: String) -> Maybe<&2, Utf>:
  match idle:
    case True{}:
      utf.lead(c, out, U32.is_lt(c, 128))
    case False{}:
      utf.more(between(c, lo, hi), need, (cp * 64 + (c .&. 63 : U32) : U32), out)

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mul
  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=between
  https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/target.bend&name=utf.lead
  https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/target.bend&name=utf.more