Documentation

A dummy environment that is passed to functions that create benchmarks from environments when no concrete environment is available.

Generate a function which applies an argument to a function a given number of times, reducing the result to normal form.

Generate a function which applies an argument to a function a given number of times.