Procs
proc create_cache_dirs_if_necessary() {....raises: [OSError, IOError], tags: [ WriteDirEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect], forbids: [].}
- Source Edit
proc get_cache_dir(): string {....raises: [], tags: [ReadEnvEffect, ReadIOEffect], forbids: [].}
- Source Edit