in the .c file after the #include:

typedef oldType newType;

example:

typedef char* String;

String is an alias for char*, that is, a syntactical replacement

To create a variable:

String var

It is the same as

char* var

You can use int (negative, 0, positive) to create the natural numbers.

As for creating a nat (natural numbers) type that takes advantage of int symbols but is unsigned, you could use unsigned int to represent natural numbers, since it includes zero and all positive numbers.

you can use unsigned int

  • int: -2,147,483,648 a 2,147,483,647
  • unsigned int: 0 a 4,294,967,295

You can use an alias of unsigned int with typedef:

typedef unsigned int nat;

In this way, nat would be an alias for unsigned int, allowing you to declare variables that can only hold non-negative values.