PURE Functions and FORALL
PURE functions are the only ones that can be invoked from a FORALL
Safe because they have no side effects
Useful because there are things you cannot do (easily) in a FORALL
- Conditionals
- Point-wise iteration
- Local temporary variables