As described in Type Declaration, a type declaration part looks like this:
type
type_identifier = type_definition;
...
type_identifier = type_definition;
where the left side is the type declaration and the right one the type definition side. GNU Pascal offers various possibilities to implement highly specialized and problem-specific data types.