Form.form.split.file: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/form.bend as Form
Lines 281-288 of emerging-ezhttp@0.21.0.0/src/form.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/form.bend&start_line=281&end_line=288

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

# a file part once its bytes are searched: the part the plan sees, onto the
# rest, and its bytes kept in order
def form.split.file(name: String, filename: String, ctype: String,
  r: Bytes.Bytes & Bool, rest: List<&2, Part> & List<&1, Bytes.Bytes>)
  -> List<&2, Part> & List<&1, Bytes.Bytes>:
  (bs, hit) = r
  (ps, fs) = rest
  (File{name, filename, ctype, hit} <> ps, bs <> fs)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=String
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/form.bend&name=Part