~/jendhub

def write_text.done

bend-visgraph@2.0.0.0 · bend_visgraph.bend:228

import bend-visgraph@2.0.0.0/bend_visgraph.bend as BendVisgraph
import Base

228def write_text.done(m: File & Result<&1, &1, U32 & String, Unit>) -> IO(Unit):
229  (f, r) = m
230  do IO<Unit>:
231    done : Unit <- IO.pass(Unit, r)
232    File.close(f)

Uses (11)

Used by (1)