width
width f
-- determines the width of the terminal associated to an output file
f
, if any.
width n
-- the width of a net
n
.
See also
Net
and
File
.
