~/jendhub

def cells_done

bendtorch-load@1.3.0.0 · main.bend:198

import bendtorch-load@1.3.0.0/main.bend as BendtorchLoad
import Base

198def cells_done(r: File & Result<&1, &1, U32 & String, U32>) -> IO(U32):
199  match r:
200    case Tuple{f, res}:
201      do IO<U32>:
202        +size : U32 <- IO.pass(U32, res)
203        File.close(f)
204        return U32.div(size, 4)

Uses (13)

Used by (1)