check.param.choice¶
Produces one sampled integer/index parameter from an explicit choice set.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | — |
| Traits | UnknownEffects, HasAnyAncestor(check.case, check.scenario) |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Result | result |
index_or_non_i1_integer_scalar |
required | — |
| Attribute | values |
i64_array | required | — |
| Attribute | param_name |
string | optional | — |