{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://api-evangelist.github.io/deribit/json-schema/instrument_id.json",
  "title": "Instrument Id",
  "type": "integer",
  "description": "Instrument ID"
}