Http.octs.has.step: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/http.bend as Http
Lines 228-235 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=228&end_line=235

import Base

# one step of the count: a character wider than what is still asked for
# means the string is longer
def octs.has.step(short: Bool, rest: Unit -> Bool) -> Bool:
  match short:
    case True{}:
      True{}
    case False{}:
      rest(Unit{})

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit