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