Http.hear.more.n: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/http.bend as Http
Lines 1742-1755 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=1742&end_line=1755

import Base

# a state advanced by m octets it does not look at (hear.counts says when
# that is hear.more)
def hear.more.n(h: Hear, +m: Nat) -> Hear:
  match h:
    case Heads{fuel, asked, raw}:
      Heads{fuel, asked, raw}
    case Whole{}:
      Whole{}
    case Never{}:
      Never{}
    case Count{n, have}:
      Count{n, Nat.add(have, m)}
    case Walking{w}:
      Walking{walk.more.n(w, m)}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  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.more.n