| Name | Owner | Permissions |
|---|---|---|
| . | switchle | drwxr-xr-x |
| .. | switchle | drwxr-xr-x |
| CallableType.php | switchle | drwxr-xr-x |
| FalseType.php | switchle | drwxr-xr-x |
| GenericObjectType.php | switchle | drwxr-xr-x |
| IntersectionType.php | switchle | drwxr-xr-x |
| IterableType.php | switchle | drwxr-xr-x |
| MixedType.php | switchle | drwxr-xr-x |
| NeverType.php | switchle | drwxr-xr-x |
| NullType.php | switchle | drwxr-xr-x |
| ObjectType.php | switchle | drwxr-xr-x |
| SimpleType.php | switchle | drwxr-xr-x |
| StaticType.php | switchle | drwxr-xr-x |
| TrueType.php | switchle | drwxr-xr-x |
| Type.php | switchle | drwxr-xr-x |
| UnionType.php | switchle | drwxr-xr-x |
| UnknownType.php | switchle | drwxr-xr-x |
| VoidType.php | switchle | drwxr-xr-x |