Open
Description
This is what pure means:
- no destructive operations on parameters
- all parameters must be guaranteed from being changed from the outside (immutable?)
- no calls to any other callback/function/method/constructor that doesn't have the pure modifier
- no reads from mutable values from a scope the pure function is closed over
- no writes to values in the closed scope