1 Some functions
| another-fun | (another-fun p) | This is another function |
| fun | (fun x y) | This is the function f |
| 1 Some functions | |||
| This is a section | |||
| fun | |||
| Form | (fun x y) | ||
| Description | This is the function f | ||
| Precondition | Only call f if both x and y are posivie | ||
| Parameters | x | The first parameter. A number | |
| y | The second parameter. A number | ||
| Postcondition | f delivers the result | ||
| Examples | (fun 5 6) => ... | ||
| (fun 7 8) => ... | |||
| See also | Enclosing examples | All examples | |
| sibling | another-fun | ||
| another-fun | |||
| Form | (another-fun p) | ||
| Description | This is another function | ||
| Parameters | p | The only parameter of this function | |
| See also | sibling | fun | |