low.storage.view¶
Project a byte subspan from function-local storage.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | executable |
| Traits | Pure |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Operand | source |
storage |
required | — |
| Result | result |
storage |
required | — |
| Attribute | offset |
i64 | default 0 |
— |
| Attribute | byte_length |
i64 | required | — |
Verification constraints¶
SameType(source, result)