def term_for

cli@0.2.0.0 · cli.bend:5116

import cli@0.2.0.0/cli.bend as Cli

import Base

5116def term_for(flag: Maybe<&2, Bool>, vars: List<&2, Var>, out_tty: Bool,
5117    err_tty: Bool, width: Nat) -> Term:
5118  match flag:
5119    case Some{+on}: Term{on, on, width}
5120    case None{}: term_env(env_color(vars), out_tty, err_tty, width)

Uses (8)

Used by (1)

cli@0.2.0.0/cli:term