Generated docs for https://github.com/leo-project/leo_mcerl