Step.step.sent: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/step.bend as Step
Lines 55-62 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=55&end_line=62

import Base

# a failed send loses the connection too; the bytes it did not send are dropped
def step.sent(res: Result<&1, &1, (U32 & String) & List<&2, U32>, Unit>)
  -> Got<Unit>:
  match res:
    case Fail{((code, why), left)}:
      Lost{step.line("write", why)}
    case Done{value}:
      Kept{value}

Uses (9):
  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=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=Base/base.bend&name=Unit
  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