low.EffectContract enum¶
Callable effect contract. Absent (0) means unspecified (conservative).
Cases¶
| Keyword | Value | Description |
|---|---|---|
pure |
1 | No memory effects, deterministic. |
readonly |
2 | May deterministically read memory but has no other effects. |
Used by¶
low.func.call.effect_contractlow.func.decl.effect_contractlow.func.def.effect_contractlow.invoke.effect_contract