Act.step: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/act.bend as Act
Lines 17-22 of cswap-bend-cli@0.1.0.0/act.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/act.bend&start_line=17&end_line=22

import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs

def step(-A: Type, -B: Type, r: Fs.Res(A), f: A -> of(B)) -> of(B):
  match r:
    case Fail{e}:
      IO.pure(Fs.Res(B), Fail{e})
    case Done{a}:
      f(a)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fs.bend&name=Res