src/Execution/ControlFlowResults/Br.php


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

<?php

declare(strict_types=1);

namespace Nsfisis\Waddiwasi\Execution\ControlFlowResults;

use Nsfisis\Waddiwasi\Execution\ControlFlowResult;
use Nsfisis\Waddiwasi\Structure\Types\LabelIdx;

final readonly class Br extends ControlFlowResult
{
    protected function __construct(
        public LabelIdx $label,
    ) {
    }
}