|
|
|---|
|
|
|
|---|
Fixtype of finalization types.
This is a tagged union type, introduced by fty::deftagsum.
A finalization type is either a plaintext type (implicitly public), or a reference to a record or an external record. In effect, finalization types are a subset of value types that excludes private and constant plaintext types.