|
|
|---|
|
|
|
|---|
Fixtype of initializer values.
This is a tagged union type, introduced by fty::deftagsum.
We introduce a notion of values for initializers. An initializer value has the same structure as an initializer, but expressions are replaced with (their) values.
As our model of initializers is extended, out model of initializer values will be extended accordingly.