def width_or

import cli@0.2.0.0/cli.bend as Cli

import Base

7835def width_or(found: Maybe<&2, Nat>, then: Nat) -> Nat:
7836  match found:
7837    case None{}: then
7838    case Some{width}: width

Uses (2)