def term_env

cli@0.2.0.0 · cli.bend:5110

import Base

5110def term_env(found: Maybe<&2, Bool>, out_tty: Bool, err_tty: Bool,
5111    width: Nat) -> Term:
5112  match found:
5113    case Some{+on}: Term{on, on, width}
5114    case None{}: Term{out_tty, err_tty, width}