()
| 87 | // --------------------------------------------------------------------------- |
| 88 | |
| 89 | function wall() { |
| 90 | return performance.timeOrigin + performance.now() |
| 91 | } |
| 92 | |
| 93 | const mtimeMs = (info: FileSystem.File.Info) => Option.getOrElse(info.mtime, () => new Date(0)).getTime() |
| 94 |