And the ``{.acyclic.}`` hint applies to the later. In the future we might have formal verification helping as well: https://nim-lang.org/docs/drnim.html https:

And the ``{.acyclic.}`` hint applies to the later. In the future we might have formal verification helping as well: https://nim-lang.org/docs/drnim.html https://nim-lang.org/docs/drnim.html