~/jendhub

def wc_ok

bendtorch@1.3.0.0 · main.bend:3604

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

3604def wc_ok(-R: Type, rr: File & Result<&1, &1, U32 & String, Unit>, a: Array<F32>, k: File -> Array<F32> -> IO(R)) -> IO(R):
3605  match rr:
3606    case Tuple{f, res}:
3607      do IO<R>:
3608        u : Unit <- IO.pass(Unit, res)
3609        k(f, a)

Uses (12)

Used by (1)