Description Usage Arguments Value
Get the stated postconditions of a validated function.
1 | postconditions(fn)
|
fn |
validated_function. The function to get the postconditions for. |
a call containing the postconditions.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.