| Name | Type | Size | Permissions | Modified | Actions |
|---|---|---|---|---|---|
| Parent Directory | |||||
| 📁 Folders | |||||
| closure | Folder | - | rwxr-xr-x | 2026-06-03 17:26 | |
| method | Folder | - | rwxr-xr-x | 2026-06-03 17:26 | |
| 📄 Files | |||||
| filtdef | FILE | 726 B | rw-r--r-- | 2022-02-16 08:54 | |
| filtuu | FILE | 77 B | rw-r--r-- | 2013-03-29 13:56 | |