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