{
    "license": {
        "copyright": "Copyright (c) 2010-2026 Arm Limited or its affiliates. All rights reserved.",
        "info": "This document is Non_confidential. This document may only be used and distributed in\naccordance with the terms of the agreement entered into by Arm and the party that\nArm delivered this document to.\n\nThe data contained in this file is preliminary and subject to change or\ncorrection following further review.\n"
    },
    "additionalProperties": false,
    "info": [
        "A model representing a slice of a value, used in SquareOp:",
        "For example: `31:16`",
        "Unless otherwise stated, all slices refer to bits and bit addresses."
    ],
    "examples": [
        {
            "_type": "AST.Slice",
            "left": {
                "_type": "AST.Integer",
                "value": 31
            },
            "right": {
                "_type": "AST.Integer",
                "value": 16
            }
        }
    ],
    "properties": {
        "_meta": {
            "$ref": "../Meta.json"
        },
        "_type": {
            "enum": [
                "AST.Slice"
            ]
        },
        "left": {
            "info": [
                "The starting index of the slice, inclusive."
            ],
            "$ref": "BinaryOp.json#/definitions/expression"
        },
        "right": {
            "info": [
                "The ending index of the slice, inclusive."
            ],
            "$ref": "BinaryOp.json#/definitions/expression"
        }
    },
    "required": [
        "left",
        "right"
    ],
    "title": "Slice",
    "type": "object",
    "$schema": "http://json-schema.org/draft-04/schema#"
}