Http.talk.received.late: def of bend-kit-http@0.38.4.0
Import: import bend-kit-http@0.38.4.0/http.bend as Http
Lines 6072-6078 of bend-kit-http@0.38.4.0/http.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.4.0/http.bend&start_line=6072&end_line=6078

import Base
import bend-kit-time@0.3.0.0/time.bend as Time

def talk.received.late(expired: Bool, +settings: Limits, +phase: Phase, now: Time.Duration, sv: Sv, m: Socket & Result<&1, &1, U32 & String, U32 & Array<U32>>) -> (Socket & Turn) & Phase:
  match expired:
    case True{}:
      (s, r) = m
      ((s, phase.expired(phase)), phase)
    case False{}:
      talk.received.phase(settings, phase, now, talk.next(settings, sv, m))

Uses (16):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Socket
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=Limits
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=Phase
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=Sv
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=Turn
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=phase.expired
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=talk.next
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=talk.received.phase
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=Duration