> Probably someone with more type theory than me can name this properly Probably “garbage”. C’s void is not a type and does not behave consistently, it’s a key

> Probably someone with more type theory than me can name this properly Probably “garbage”. C’s void is not a type and does not behave consistently, it’s a keyword associated with arbitrary convenient behaviours for that case.