~/jendhub

def page_width

cli@0.2.0.0 · cli.bend:5133

import cli@0.2.0.0/cli.bend as Cli
import Base

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

Uses (3)

Used by (4)