Cli.width_or: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 7835-7838 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=7835&end_line=7838

import Base

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat