Addresses: filesys.ts
The specification of the actual error conditions for the functions that specify Throws: As specified in Error reporting. is missing.
Add those specifications.