task() API, documentation work

This commit is contained in:
udo
2022-01-09 00:20:35 +00:00
parent 2c2225c76f
commit cbf57a9a35
79 changed files with 1094 additions and 136 deletions
+12
View File
@@ -0,0 +1,12 @@
:sig
String file_get_contents(String file_name)
:params
file_name : file name of file that should be read
return value : String containing the file's contents
:desc
Reads the file identified by 'file_name' and returns it as a String. If the file cannot be read, this function will return an empty string.
:see
>sys