11.10 Well-formedness – Functions
- A function body can only contain imperative statements, including
actions. See the sections on ’Mixing’ and ’Direction’ above,
- A typed function is required to have an explicit return,
- A return is only allowed in a function body,
- A recursive function is required to be tail recursive.