Step.step.got: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/step.bend as Step
Lines 43-53 of emerging-ezhttp@0.21.0.0/src/step.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/step.bend&start_line=43&end_line=53

import Base

# a failed accept or recv loses the connection instead of ending the server
def step.got(
  -A: Type,
  phase: String,
  res: Result<&1, &1, U32 & String, A>
) -> Got<A>:
  match res:
    case Fail{(code, why)}:
      Lost{step.line(phase, why)}
    case Done{value}:
      Kept{value}

Uses (7):
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/step.bend&name=Got
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/step.bend&name=step.line