diff options
| author | nsfisis <nsfisis@gmail.com> | 2024-03-14 00:28:30 +0900 |
|---|---|---|
| committer | nsfisis <nsfisis@gmail.com> | 2024-03-14 00:28:30 +0900 |
| commit | f490780439450a06cf71eb40b453fc0154264337 (patch) | |
| tree | 85e636efabc1e6ae6ae26e1cd58991e1b4dba560 /src/Execution/Label.php | |
| parent | 44f5eb882bcaab2f5a19a0d7680929d6b0463f62 (diff) | |
| download | php-waddiwasi-f490780439450a06cf71eb40b453fc0154264337.tar.gz php-waddiwasi-f490780439450a06cf71eb40b453fc0154264337.tar.zst php-waddiwasi-f490780439450a06cf71eb40b453fc0154264337.zip | |
perf: unwrap StackEntry
Diffstat (limited to 'src/Execution/Label.php')
| -rw-r--r-- | src/Execution/Label.php | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/Execution/Label.php b/src/Execution/Label.php new file mode 100644 index 0000000..cc14c4f --- /dev/null +++ b/src/Execution/Label.php @@ -0,0 +1,16 @@ +<?php + +declare(strict_types=1); + +namespace Nsfisis\Waddiwasi\Execution; + +final readonly class Label +{ + /** + * @param int<0, max> $arity + */ + public function __construct( + public int $arity, + ) { + } +} |
