2021-10-05
Type tag is a one based index number that refers to type instances in the file header.
Typetag 0 means that the tag is followed by another type tag and the combination evaluates to a type instance rather than a value.
Example type instance definition header:
This site is generated with zetgen