Validity
`
Validity
check ::= unchecked | validating
- unchecked
- Assume that the programmer knows what he is doing. No checks on boundaries
or wrap-arounds do occur. See validate()
to locally override this behaviour.
- validating
- Check every computation for validity or the results. This can result in
serious overhead. See foo() to locally
override ths behaviour.