Time.DateTime.http_date: def of bend-kit-time@0.3.0.0
Import: import bend-kit-time@0.3.0.0/time.bend as Time
Lines 368-374 of bend-kit-time@0.3.0.0/time.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-time@0.3.0.0/time.bend&start_line=368&end_line=374

import Base

def DateTime.http_date(t: DateTime) -> String:
  match t:
    case DateTime{+date, h, mi, s, n}:
      Date{y, mo, d} = date
      String.concat([name(WEEKDAYS(), (Date.weekday(date) - 1 : U32)), ", ", pad(d, 2n), " ",
        name(MONTHS(), (mo - 1 : U32)), " ", pad(y, 4n), " ", pad(h, 2n), ":", pad(mi, 2n), ":",
        pad(s, 2n), " GMT"])

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.concat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=Date
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=Date.weekday
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=DateTime
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=MONTHS
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=WEEKDAYS
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=name
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=pad