Next: machinery tail calls, Previous: machinery call arguments, Up: machinery [Index]
We assume the validity of machinery simplifications to focus on some aspect of the runtime behaviour, Simplification assumptions.