Encoding.utf8.finish: def of bend-kit-encoding@0.5.0.0
Import: import bend-kit-encoding@0.5.0.0/encoding.bend as Encoding
Lines 127-129 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=127&end_line=129

import Base

def utf8.finish(st: Utf8) -> String:
  Utf8{+need, lo, hi, cp, +out} = st
  String.reverse(Bool.pick(String, U32.is_eq(need, 0), out, utf8.bad(out)))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.reverse
  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.bad