The type you're looking for is Boolean. If at all the Boolean8 would be added as an alias to that...
According to _some_ documentation, there is a Boolean8 type which is somewhat of an alias for plain Boolean.
Refer to this page:
https://www.freepascal.org/docs-html/ref/refsu4.htmlAccording to that page, there is a Boolean8 type (the compiler disagrees) which functions as;
The only difference with the Boolean8/16/32/64 types is in what values are considered true or false: The value False is equivalent to 0 (zero) and any nonzero value is considered True when converting to a boolean value. A boolean value of True is converted to Not(0) in case it is assigned to a variable of type ByteBool, WordBool, LongBool or QWordBool.
The reference manual on the other hand, makes no mention at all of Boolean8, Boolean16, Boolean32 and Boolean64 (of which, the last 3, the compiler does recognize.)
Bottom line is, there exists Boolean16, Boolean32 and, Boolean64 as well as their very closely related types, WordBool, LongBool and QWordBool. The existence of Boolean8 would have made the whole thing fully orthogonal and seems to have been forgotten. Not that it matters much, there are more than enough Boolean types available to accomplish whatever needs to be done.