Multipart.finish: def of bend-kit-multipart@0.3.0.0
Import: import bend-kit-multipart@0.3.0.0/multipart.bend as Multipart
Lines 617-624 of bend-kit-multipart@0.3.0.0/multipart.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-multipart@0.3.0.0/multipart.bend&start_line=617&end_line=624

import Base

# Done once the close delimiter has been read; the epilogue is ignored.
def finish(d: Dec) -> Result<&1, &1, String, Unit>:
  Dec{delim, dlen, st, buf} = d
  match st:
    case End{}:
      Done{Unit{}}
    case _:
      Fail{"multipart: body ends before the close delimiter"}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-multipart@0.3.0.0/multipart.bend&name=Dec
  https://jend.leeeet.dev/definition.txt?path=bend-kit-multipart@0.3.0.0/multipart.bend&name=Stage