summaryrefslogtreecommitdiffstats
path: root/verigraph/jsonschema/nat.json
diff options
context:
space:
mode:
Diffstat (limited to 'verigraph/jsonschema/nat.json')
-rw-r--r--verigraph/jsonschema/nat.json11
1 files changed, 11 insertions, 0 deletions
diff --git a/verigraph/jsonschema/nat.json b/verigraph/jsonschema/nat.json
new file mode 100644
index 0000000..f2b973a
--- /dev/null
+++ b/verigraph/jsonschema/nat.json
@@ -0,0 +1,11 @@
+{
+ "$schema": "http://json-schema.org/draft-04/schema#",
+ "title": "Nat",
+ "description": "Polito Nat",
+ "type": "array",
+ "items": {
+ "type": "string"
+ },
+ "minItems": 0,
+ "uniqueItems": true
+} \ No newline at end of file