width -- width of a file or net

Ways to use width :

• width(File) -- get window width
• width(Net) -- width of a net
• width(String), see width(Net) -- width of a net