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.

Go to main index.

Go to concepts index.