This is the implementation of polynomial-time optimal pretty-printing combinators with choice.
Also the test utility is presented here for comparison purposes.