Http.hex.rest: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/http.bend as Http
Lines 104-112 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=104&end_line=112

import Base

# the rest of a hex token once the first digit is known
def hex.rest(token: String, good: Bool) -> Bool:
  match token good:
    case _ False{}:
      False{}
    case SNil{} True{}:
      True{}
    case SCon{h, t} True{}:
      hex.rest(t, hex.digit(h))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=hex.digit