Form.octets.starts: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/form.bend as Form
Lines 77-87 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=77&end_line=87

import Base

# whether octets open with a pattern's octets
def octets.starts(xs: List<&2, U32>, pat: List<&2, U32>) -> Bool:
  match xs pat:
    case Nil{} Nil{}:
      True{}
    case Nil{} Con{p, q}:
      False{}
    case Con{x, t} Nil{}:
      True{}
    case Con{x, t} Con{p, q}:
      all.step(U32.is_eq(x, p), _u => octets.starts(t, q))

Uses (5):
  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=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/form.bend&name=all.step