<tag>

Type: <tag>

A tag is a user-defined type which is disjoint from the primitive types employed by MOSVM, and other tags.

Topics related to tags:
cell, make-tag, repr, tag, tag-info, type-name