Method modtime

src/Common/FileSystem.cpp:365–367

}

std::filesystem::file_time_type FileSystem::modtime(PathId fileId) {
  return modtime(fileId, std::filesystem::file_time_type::min());
}

PathId FileSystem::copy(PathId id, SymbolTable *toSymbolTable) {
  if (!id) return BadPathId;