file: add SIZE option
This commit adds the SIZE option to file(). It returns the file size of the given path if it exists and produces an error if not.
This commit adds the SIZE option to file(). It returns the file size of the given path if it exists and produces an error if not.