~/jendhub

def write_err.m

cswap-bend-cli@0.1.0.0 · main.bend:11

import cswap-bend-cli@0.1.0.0/main.bend as CswapBendCli
import Base

11def write_err.m(c: Bool, +text: String) -> IO(Unit):
12  match c:
13    case True{}:
14      IO.pure(Unit, Unit{})
15    case False{}:
16      IO.print_err(String.trim_end(text))

Uses (7)

Used by (1)