@opaque def_kind()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

def_kind() (opaque type)

@opaque definition()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

definition() (opaque type)