SAFIRE is a strongly typed language. This means that each signal parameter must be declared with a specific data type. The SAFIRE data types are based on ASN.1 standards. 

There are predefined types such as INTEGER, OCTET STRING, and BOOLEAN as well as structured types such as SEQUENCE and CHOICE. 

SAFIRE data may be encoded to standard ASN.1 binary formats  including BER and PER.  All data types are described in the Data Types chapter. Operations allowed on data are described in the chapters on expressions and flow diagram symbols.

-- The data types used for signal parameters are shared by multiple FSMs and must be defined outside any FSM that uses them

-- A new data type can be declared in terms of existing data types using the SYNTYPE feature