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

import Base

def page_width(width: Nat) -> Nat:
  Nat.min(100n, Nat.max(40n, width))

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