2022-07-20 21:12:56 +02:00
|
|
|
{
|
|
|
|
|
"oneOf": [
|
|
|
|
|
{
|
|
|
|
|
"type": "array",
|
2022-07-20 21:36:09 +02:00
|
|
|
"$ref": "./integer2.json"
|
2022-07-20 21:12:56 +02:00
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"title": "Value",
|
|
|
|
|
"type": "integer"
|
|
|
|
|
}
|
|
|
|
|
],
|
|
|
|
|
"examples": [0, [0, 10]],
|
|
|
|
|
"defaultSnippets": [{ "label": "New Array 2", "body": ["^$1", "^$2"] }]
|
|
|
|
|
}
|
