|
|
|---|
|
|
|
|---|
Fixtype of implementation environments.
This is a product type introduced by fty::defprod.
For now this only contains a few components, but we plan to add more components. In particular, we plan to add components for the formats of other integer types, which will make use of uinteger-format and of a similar fixtype for signed integer formats, which we still have to formalize.