Name	Size	Perm	Options
Exception	DIR	drwxr-xr-x	Action Delete Chmod Rename
Internal	DIR	drwxr-xr-x	Action Delete Chmod Rename
Type.php	0.94 KB	-rw-r--r--	Action Delete Edit Rename Chmod
TypeInterface.php	0.904 KB	-rw-r--r--	Action Delete Edit Rename Chmod
array_key.php	0.174 KB	-rw-r--r--	Action Delete Edit Rename Chmod
backed_enum.php	0.269 KB	-rw-r--r--	Action Delete Edit Rename Chmod
bool.php	0.16 KB	-rw-r--r--	Action Delete Edit Rename Chmod
class_string.php	0.269 KB	-rw-r--r--	Action Delete Edit Rename Chmod
converted.php	0.433 KB	-rw-r--r--	Action Delete Edit Rename Chmod
dict.php	0.365 KB	-rw-r--r--	Action Delete Edit Rename Chmod
f32.php	0.195 KB	-rw-r--r--	Action Delete Edit Rename Chmod
f64.php	0.195 KB	-rw-r--r--	Action Delete Edit Rename Chmod
float.php	0.163 KB	-rw-r--r--	Action Delete Edit Rename Chmod
i16.php	0.208 KB	-rw-r--r--	Action Delete Edit Rename Chmod
i32.php	0.218 KB	-rw-r--r--	Action Delete Edit Rename Chmod
i64.php	0.193 KB	-rw-r--r--	Action Delete Edit Rename Chmod
i8.php	0.201 KB	-rw-r--r--	Action Delete Edit Rename Chmod
instance_of.php	0.253 KB	-rw-r--r--	Action Delete Edit Rename Chmod
int.php	0.157 KB	-rw-r--r--	Action Delete Edit Rename Chmod
intersection.php	0.681 KB	-rw-r--r--	Action Delete Edit Rename Chmod
is_nan.php	0.222 KB	-rw-r--r--	Action Delete Edit Rename Chmod
iterable.php	0.363 KB	-rw-r--r--	Action Delete Edit Rename Chmod
literal_scalar.php	0.272 KB	-rw-r--r--	Action Delete Edit Rename Chmod
map.php	0.401 KB	-rw-r--r--	Action Delete Edit Rename Chmod
mixed.php	0.163 KB	-rw-r--r--	Action Delete Edit Rename Chmod
mixed_dict.php	0.189 KB	-rw-r--r--	Action Delete Edit Rename Chmod
mixed_vec.php	0.176 KB	-rw-r--r--	Action Delete Edit Rename Chmod
mutable_map.php	0.423 KB	-rw-r--r--	Action Delete Edit Rename Chmod
mutable_vector.php	0.324 KB	-rw-r--r--	Action Delete Edit Rename Chmod
non_empty_dict.php	0.393 KB	-rw-r--r--	Action Delete Edit Rename Chmod
non_empty_string.php	0.193 KB	-rw-r--r--	Action Delete Edit Rename Chmod
non_empty_vec.php	0.282 KB	-rw-r--r--	Action Delete Edit Rename Chmod
nonnull.php	0.207 KB	-rw-r--r--	Action Delete Edit Rename Chmod
null.php	0.16 KB	-rw-r--r--	Action Delete Edit Rename Chmod
nullable.php	0.264 KB	-rw-r--r--	Action Delete Edit Rename Chmod
num.php	0.163 KB	-rw-r--r--	Action Delete Edit Rename Chmod
numeric_string.php	0.188 KB	-rw-r--r--	Action Delete Edit Rename Chmod
object.php	0.166 KB	-rw-r--r--	Action Delete Edit Rename Chmod
optional.php	0.259 KB	-rw-r--r--	Action Delete Edit Rename Chmod
positive_int.php	0.222 KB	-rw-r--r--	Action Delete Edit Rename Chmod
resource.php	0.287 KB	-rw-r--r--	Action Delete Edit Rename Chmod
scalar.php	0.181 KB	-rw-r--r--	Action Delete Edit Rename Chmod
shape.php	0.35 KB	-rw-r--r--	Action Delete Edit Rename Chmod
string.php	0.166 KB	-rw-r--r--	Action Delete Edit Rename Chmod
u16.php	0.203 KB	-rw-r--r--	Action Delete Edit Rename Chmod
u32.php	0.208 KB	-rw-r--r--	Action Delete Edit Rename Chmod
u8.php	0.198 KB	-rw-r--r--	Action Delete Edit Rename Chmod
uint.php	0.204 KB	-rw-r--r--	Action Delete Edit Rename Chmod
union.php	0.532 KB	-rw-r--r--	Action Delete Edit Rename Chmod
unit_enum.php	0.261 KB	-rw-r--r--	Action Delete Edit Rename Chmod
vec.php	0.255 KB	-rw-r--r--	Action Delete Edit Rename Chmod
vector.php	0.303 KB	-rw-r--r--	Action Delete Edit Rename Chmod