src/Execution/Externs/Mem.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\Externs;

use Nsfisis\Waddiwasi\Execution\Extern;
use Nsfisis\Waddiwasi\Execution\MemInst;

final readonly class Mem extends Extern
{
    protected function __construct(
        public MemInst $mem,
    ) {
    }
}