| Name | Type | Size | Modified | Perms | Actions |
|---|---|---|---|---|---|
| 📁 .. (Parent Directory) | Dir | - | - | 0755 | 📂 |
| 📁 detail | Dir | - | 2026-06-09 11:55:56 | 0755 | 📂 |
| 📄 bad_optional_access.hpp | File | 1015 B | 2025-12-18 14:16:58 | 0644 | ⬇ |
| 📄 optional.hpp | File | 46.98 KB | 2025-12-18 14:16:58 | 0644 | ⬇ |
| 📄 optional_fwd.hpp | File | 1.13 KB | 2025-12-18 14:16:58 | 0644 | ⬇ |
| 📄 optional_io.hpp | File | 1.73 KB | 2025-12-18 14:16:58 | 0644 | ⬇ |