A Type is a data schema. It defines the characteristics of some data in the system.
There are various kinds of Type that are specialized to model different kinds of data. The most common meaning of Type in Sysl is the
!type declaration, which is in fact the specification of a
Tuple, a kind of Type with multiple Fields. However each Field also has its own Type, so the term is overloaded.
any as bool bytes datedatetime decimal else float float32float64 if int int32 int64 string
- Application: parent element
Kinds of Type: