| Name | Type | Size | Modified | Perms | Actions |
|---|---|---|---|---|---|
| 📁 detail | Dir | - | 2026-06-23 10:32:06 | 0755 | 📂 |
| 📄 bad_optional_access.hpp | File | 1015 B | 2026-06-09 17:55:31 | 0644 | ⬇ |
| 📄 optional.hpp | File | 36.56 KB | 2026-06-09 17:55:31 | 0644 | ⬇ |
| 📄 optional_fwd.hpp | File | 1.13 KB | 2026-06-09 17:55:31 | 0644 | ⬇ |
| 📄 optional_io.hpp | File | 1.71 KB | 2026-06-09 17:55:31 | 0644 | ⬇ |