Http.hear.counts: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/http.bend as Http
Lines 1726-1740 of emerging-ezhttp@0.21.0.0/src/http.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&start_line=1726&end_line=1740

import Base

# whether a state can be advanced by a count of octets alone, without their
# text: a whole response, a body framed by the close or by Content-Length, or
# a chunk's data that still owes at least that many (SPEC.md HTTP-CLI-6)
def hear.counts(h: Hear, +m: Nat) -> Bool:
  match h:
    case Heads{fuel, asked, raw}:
      False{}
    case Whole{}:
      True{}
    case Never{}:
      True{}
    case Count{n, have}:
      True{}
    case Walking{w}:
      walk.counts(w, m)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=Hear
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=walk.counts