def write_out

cli@0.2.0.0 · run.bend:48

import cli@0.2.0.0/run.bend as Run
import Base

48def write_out(empty: Bool, out: String) -> IO(Unit):
49  match empty:
50    case True{}: IO.pure(Unit, Unit{})
51    case False{}: IO.write(out)

Uses (6)

Used by (1)