def wf_close

bendtorch@1.3.0.0 · main.bend:3627

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

3627def wf_close(r: File & Array<F32>) -> IO(Array<F32>):
3628  match r:
3629    case Tuple{f, a}:
3630      do IO<Array<F32>>:
3631        File.close(f)
3632        return a

Uses (10)

Used by (1)

bendtorch@1.3.0.0/main:write_f32