Generated docs for https://github.com/erlang4fun/eqc