1 Some functions
| another-fun | (another-fun p) | This is another function |
| fun | (fun x y) | This is the function f |
| fun-again | (fun-again x y . xml-in-laml-contents-and-attributes) | This is the function f - again |
| 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 | ||
| See also | Enclosing examples | All examples | |
| sibling | another-fun | ||
| fun-again | |||
| Form | (fun-again x y . xml-in-laml-contents-and-attributes) | ||
| Description | This is the function f - again | ||
| 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 | ||
| another-fun | |||
| Form | (another-fun p) | ||
| Description | This is another function | ||
| Parameters | p | The only parameter of this function | |
| See also | sibling | fun | |