Module for representing and investigating possible decisions of higher order recursive functions.