2015-07-04 02:48:32 +03:00
|
|
|
{
|
2017-12-02 21:31:03 +03:00
|
|
|
"$id": "http://localhost:1234/node.json",
|
2015-07-04 02:48:32 +03:00
|
|
|
"description": "node",
|
|
|
|
"type": "object",
|
|
|
|
"properties": {
|
|
|
|
"value": { "type": "number" },
|
|
|
|
"subtree": { "$ref": "tree.json" }
|
|
|
|
},
|
|
|
|
"required": ["value"]
|
|
|
|
}
|