src/Execution/Refs/RefExtern.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\Refs;

use Nsfisis\Waddiwasi\Execution\ExternAddr;
use Nsfisis\Waddiwasi\Execution\Ref;

final readonly class RefExtern extends Ref
{
    public function __construct(
        public ExternAddr $addr,
    ) {
    }
}