def write_err

import cli@0.2.0.0/run.bend as Run

import Base

53def write_err(empty: Bool, err: String) -> IO(Unit):
54  match empty:
55    case True{}: IO.pure(Unit, Unit{})
56    case False{}: IO.print_err(chomp(err))

Uses (7)

Bool
String
IO
Unit
IO.pure
…

Used by (1)

cli@0.2.0.0/run:finish