{{HCoop-specific stuff}}

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}}