summaryrefslogtreecommitdiffstats
path: root/verigraph/jsonschema/nat.json
blob: f2b973a07cea2121f2cbbdb9eeece1b7e0c6a207 (plain)
1
2
3
4
5
6
7
8
9
10
11
{
    "$schema": "http://json-schema.org/draft-04/schema#",
    "title": "Nat",
    "description": "Polito Nat",
    "type": "array",
    "items": {
        "type": "string"
    },
    "minItems": 0,
    "uniqueItems": true
}