Does Arrow Analysis Add New Syntax to Kotlin?

So does arrow analysis add new syntax to the language then in order for me to express these kind of conditions because I assume I have to at some point tell the compiler I can guarantee that this operation will always return a non empty list or something like that? So yeah you essentially use the the requires part to have like the preconditions of the thing that the arguments need to satisfy and then at the end you add a small we call it post condition blocks. It should be quite familiar to people already using the contracts functionality in Kotlin. And if you know like colleague contracts arrow analysis is very similar in the sense of like it tracks the data flow and it allows you to add constraints to functions