{ "$id": "deviceNames", "title": "List of device names", "description": "Array of device names", "type": "string", "examples": [ "ios0", "iosxr0", "junos0", "arista0" ] }