~/jendhub

def finish_write

bend-prot@0.1.0.0 · pdb.bend:620

import bend-prot@0.1.0.0/pdb.bend as Pdb
import Base

620def finish_write(fr: File & Result<&1, &1, U32 & String, Unit>) -> IO(Unit):
621  match fr:
622    case (fh2, res):
623      do IO<Unit>:
624        done : Unit <- IO.pass(Unit, res)
625        File.close(fh2)
626        return done

Uses (12)

Used by (1)