1 Introduction
This is an introduction. Usually it is very brief.
| 1 Introduction | |||
This is an introduction. Usually it is very brief. | |||
| f | |||
| Form | (f a b) | ||
| Description | Description of f | ||
| Precondition | What to ensure before f is called | ||
| Parameters | a | Explanation of a | |
| b | Explanation of b | ||
| Returns | Description of the value returned by f | ||
| Postcondition | What holds after f is called | ||
| See also | similar function | g | |
| g | |||
| Form | (g) | ||
| Description | Description of g | ||
| Precondition | What to ensure before g is called | ||
| See also | context | LAML tutorial | |
| similar function | f | ||