Abdallah

There is also a type in https://github.com/touist/touist/blob/1bf1b5254fcbe8e4f368c7684a5d51b9a1852487/src/lib/qbf.ml#L62 on the right-hand side, the forall should be an exists.

Similarly, the function `Latex.is_binary_op` does not treat `mod` appropriately. Maybe `mod` was added later and the code wasn't updated. Unless told otherwise, I'll change this bit too.

After a bit more testing, I realize that the issue does not specifically stem from the absence of clauses the following input triggers the same inconsistent behaviour based on whether...