2023-03-02 Version: 1.0.0
- Generated 2019-05-10 for `ltl`.