Http.cookie.date.tokens: def of bend-kit-http@0.38.2.0
Import: import bend-kit-http@0.38.2.0/http.bend as Http
Lines 1967-1975 of bend-kit-http@0.38.2.0/http.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.2.0/http.bend&start_line=1967&end_line=1975

import Base

# The date-tokens, last first. st: the token so far (reversed) and the tokens before it.
def cookie.date.tokens(s: String, st: String & List<&2, String>) -> List<&2, String>:
  match s:
    case SNil{}:
      (acc, ts) = st
      cookie.date.push(acc, ts)
    case SCon{Chr{+c}, t}:
      (acc, ts) = st
      cookie.date.tokens(t, cookie.date.step(cookie.date.delim(c), c, acc, ts))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=cookie.date.delim
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=cookie.date.push
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=cookie.date.step