DeclarationTag

A declaration tag is data added to a Declaration that can be processed by (installable) extensions via a DeclarationsProcessor.

Declaration tags are attached to declarations using the with functions, e.g.

put(::Foo) with bar
put(::Baz) with hello

Declaration tags can come in any shape: it is up to the extension to decide what its tags actually are.