~/jendhub

def drain.end

bend-kit-runner@0.13.0.1 · runner.bend:1701

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base

1701def drain.end(-A: Data, x: Runner<A> & Bool) -> Ran(A):
1702  (r, done) = x
1703  (r, Bool.pick(Out(Unit), done, Done{Unit{}}, Fail{(62, "runner: drain ran out of rounds")}))

Uses (9)

Used by (1)