{
  "$type": "com.atproto.lexicon.schema",
  "defs": {
    "main": {
      "description": "Delete a push token globally.",
      "input": {
        "encoding": "application/json",
        "schema": {
          "properties": {
            "reason": {
              "type": "string"
            },
            "token": {
              "type": "string"
            }
          },
          "required": [
            "token"
          ],
          "type": "object"
        }
      },
      "output": {
        "encoding": "application/json",
        "schema": {
          "properties": {
            "removedBindings": {
              "type": "integer"
            }
          },
          "required": [
            "removedBindings"
          ],
          "type": "object"
        }
      },
      "type": "procedure"
    }
  },
  "id": "app.didpic.admin.deletePushToken",
  "lexicon": 1
}