Tydi type system.
The field of a group or union.
The Group type.
A type with a name.
The direction of things that have directions, such as fields in compound types like Group or Union.
The Tydi Logical Type.
A Tydi Type.