---

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.

• Missing return
• Cannot use return outside of function
• Cannot use statement after recursive call