2021-10-05
A value type may have a structure of 32 bit unsigned integer and semantics of unix epoch. A single value of that type may have the semantics of being a birth time of a specific person.
Semantics of types are described in the file headers and semantics of values are described in the file body.
An example:
In a struct or record (see struct vs record) the attributes specify the type level semantics of their values. A coordinate pair may be expressed as a struct with x and y attributes.
This site is generated with zetgen