This type is managed by TypeCheck, which allows checking values against the type at runtime.
TypeCheck
def_kind()
Full definition:
head (opaque type)
head
definition()