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.