2 Function Design
- Examples
- Header
- Description
- Body
- Test
Preconditions
One condition of a function is the type contract.
Preconditions are any property that a function's argument must satisfy to ensure that the function works. These are included in the docstring.