Type Expression

Type expression used in type declaration.

Syntax

The type expression is either
  • a predefined type 
    type_expr: bool
    or 
    type_expr: signed << expr >>
    or 
    type_expr: int8 or int16 or int32 or int64
    or 
    type_expr: unsigned << expr >>
    or 
    type_expr: uint8 or uint16 or uint32 or uint64
  • or a reference to a type defined in another module 
    type_expr: path
  • or a type variable 
    type_expr: 'ID
  • or an array 
    type_expr: type_expr^expr
where expr is a size.

A type_expr used in a constant, sensor, group or type declaration cannot contain any type variable.