check.entropy.read
← check dialect
Reads one deterministic i64 word at an explicit static or dynamic ordinal.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
Pure, HasAncestor(check.scenario) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
entropy |
any |
required |
— |
| Operand |
ordinals |
index |
variadic |
— |
| Result |
result |
integer |
required |
— |
| Attribute |
static_ordinals |
i64_array |
required |
— |
Examples
%word = check.entropy.read %entropy[0] : check.entropy -> i64
%word = check.entropy.read %entropy[%ordinal] : check.entropy -> i64