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.