index

Type tag

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:


2021-10-05
dabric file headers
byte size prefixed values
value types in the Dabric prelude
2021-08-26
2021-09-08
dabric file structure

This site is generated with zetgen