Generated docs for https://github.com/2rs2ts/bankers-erlgorithm