| [ | |
| { | |
| "namespace": "objectsMovableJson", | |
| "description": "Movable objects in a json file", | |
| "compiler_options": {"use_movable_types": true}, | |
| "types": [{ | |
| "id": "movableWithAdditional", | |
| "type": "object", | |
| "properties": { | |
| "str": {"type": "string"} | |
| }, | |
| "additionalProperties": { | |
| "type": "array", | |
| "items": {"type": "string"} | |
| } | |
| }] | |
| } | |
| ] |