{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "#/components/schemas/search_result_page",
  "title": "search_result_page",
  "type": "object",
  "properties": {
    "size": {
      "type": "integer",
      "format": "int64",
      "readOnly": true,
      "example": 10
    },
    "page": {
      "type": "integer",
      "format": "int32",
      "readOnly": true,
      "example": 10
    },
    "pagelen": {
      "type": "integer",
      "format": "int32",
      "readOnly": true,
      "example": 10
    },
    "query_substituted": {
      "type": "boolean",
      "readOnly": true,
      "example": true
    },
    "next": {
      "type": "string",
      "format": "uri",
      "readOnly": true,
      "example": "https://www.example.com"
    },
    "previous": {
      "type": "string",
      "format": "uri",
      "readOnly": true,
      "example": "https://www.example.com"
    },
    "values": {
      "type": "array",
      "readOnly": true,
      "items": {
        "$ref": "#/components/schemas/search_code_search_result"
      },
      "example": []
    }
  }
}