this would be entirely covered by <https://github.com/nim-lang/RFCs/issues/270>, both pre-conditions and post-conditions: proc sleep(t: int) {.requires t>=0.} = ... Run
would render the pragma in the doc comment AND (when checks are enabled) would check the condition
