Generated docs for https://github.com/hanssv/erlang-ltl2buchi