|
|
|---|
|
|
|
|---|
Fixtype of computation states.
This is a product type introduced by fty::defprod.
According to [Yul: Specification of Yul: Formal Specification], this consists of a local state object and a global state object. The latter is generic in generic Yul. For now, for simplicity, we ignore the global state completely, but we plan to add that at some point.