Skip to main content


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.

Kinds of Type#

any         as          bool        bytes       datedatetime    decimal     else        float       float32float64     if          int         int32       int64       string

See also#

Kinds of Type: