Form.form.boundary.ok: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/form.bend as Form
Lines 116-119 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=116&end_line=119

import Base

# a boundary is 1 to 70 boundary characters
def form.boundary.ok(+b: String) -> Bool:
  Bool.and(Bool.and(Bool.not(String.is_empty(b)),
    Nat.is_le(String.length(b), 70n)), form.bchars(b))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/form.bend&name=form.bchars