| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| all_properties.json | 2025-07-05 21:37 | 113 | ||
| for_query.json | 2025-07-05 21:37 | 141 | ||
| id.json | 2025-07-05 21:37 | 62 | ||
| id_and_definition.json | 2025-07-05 21:37 | 85 | ||
| id_and_definition_wi..> | 2025-07-05 21:37 | 113 | ||
| id_with_type.json | 2025-07-05 21:37 | 90 | ||
| typical.json | 2025-07-05 21:37 | 90 | ||