{{HCoop-specific stuff}}
-extern val home : string -> string
+extern type homedir_path;
+{{Some relative subdirectory of your home directory}}
+
+extern val home : homedir_path -> your_path;
{{Shortcut to denote a subdirectory of your home directory}}