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:
Class of returned value: ZZ -- the class of all integersWays to use width :