FileSystem Library

writefile

Write a file to the 'workspace' directory.

writefile(file: string, contents: string): ()