Target.utf.finish: def of bend-kit-router@0.2.0.0
Import: import bend-kit-router@0.2.0.0/target.bend as Target
Lines 42-47 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=42&end_line=47

import Base

def utf.finish(st: Maybe<&2, Utf>) -> Maybe<&2, String>:
  match st:
    case None{}:
      None{}
    case Some{Utf{need, lo, hi, cp, out}}:
      Bool.pick(Maybe<&2, String>, U32.is_eq(need, 0), Some{String.reverse(out)}, None{})

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=Maybe
  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-router@0.2.0.0/target.bend&name=Utf