Well, all structure and logic is encoded in declarations. The DSLs are declaring (static and side-effect free) vocabularies.

I also would explain declarative coding as an experience of a higher alignment between compiler and coder. In imperative coding this alignment is only on line level — in this kind of declarative coding it is universal. in fact the only places where we don't have that alignment is the right side of the axiomatic case statements, where we teach the compiler what our vocabulary means. But as Kurt Gödel has shown in his incompleteness theorem, no system can be described fully from within. So some amount of definitions provided by the coder is expected.

Can you point me to imperative code in my examples?

What is a true declarative language for you, and why wouldn't my subset of swift qualify at such?

as I show in my older articles, I can create any app of any size with only one or two var properties in the whole app. in imperative coding that simply wouldn't be possible.

please check my older articles that are more focused on declarative coding itself.