{
  "type": "object",
  "encoding": "REQUIRED_ONLY_BOUNDED_TYPED_OBJECT",
  "options": {
    "propertyEncodings": {
      "$let": {
        "type": "object",
        "encoding": "REQUIRED_ONLY_BOUNDED_TYPED_OBJECT",
        "options": {
          "propertyEncodings": {
            "x": {
              "type": "array",
              "encoding": "FLOOR_TYPED_LENGTH_PREFIX",
              "options": {
                "minimum": 0,
                "encoding": {
                  "type": "integer",
                  "encoding": "FLOOR_MULTIPLE_ENUM_VARINT",
                  "options": {
                    "minimum": 0,
                    "multiplier": 10
                  }
                },
                "prefixEncodings": []
              }
            }
          },
          "requiredProperties": [
            "x"
          ],
          "booleanRequiredProperties": []
        }
      },
      "in": {
        "type": "object",
        "encoding": "REQUIRED_ONLY_BOUNDED_TYPED_OBJECT",
        "options": {
          "propertyEncodings": {
            "$reverse": {
              "type": "object",
              "encoding": "REQUIRED_ONLY_BOUNDED_TYPED_OBJECT",
              "options": {
                "propertyEncodings": {
                  "$sort": {
                    "type": "object",
                    "encoding": "REQUIRED_ONLY_BOUNDED_TYPED_OBJECT",
                    "options": {
                      "propertyEncodings": {
                        "$eval": {
                          "type": "string",
                          "encoding": "FLOOR_PREFIX_LENGTH_ENUM_VARINT",
                          "options": {
                            "minimum": 0
                          }
                        }
                      },
                      "requiredProperties": [
                        "$eval"
                      ],
                      "booleanRequiredProperties": []
                    }
                  },
                  "by(x)": {
                    "type": "string",
                    "encoding": "FLOOR_PREFIX_LENGTH_ENUM_VARINT",
                    "options": {
                      "minimum": 0
                    }
                  }
                },
                "requiredProperties": [
                  "$sort",
                  "by(x)"
                ],
                "booleanRequiredProperties": []
              }
            }
          },
          "requiredProperties": [
            "$reverse"
          ],
          "booleanRequiredProperties": []
        }
      }
    },
    "requiredProperties": [
      "$let",
      "in"
    ],
    "booleanRequiredProperties": []
  }
}