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 | |