Unfortunately, they aren't stored anywhere after processing the fn
macro. They're prepended/appended directly to the body
of the function as asserts. You can check the relevant source lines in fn
.
As a workaround, you could probably write your own variant of defn
that grabs the :pre
and :post
conditions and stores them as metadata.