type collision

[mimoo]

In the previous snippet, there's two things happening:

• first, we use nonrec on every type, which is a bit ugly especially if ocamlformat does not remove the useless ones by itself
• second, the redlined return type is wrong, as it indicates the wrong t. In this case, it is not clear to me how to correctly format the path for the correct t which is in the module above. My current solution is to avoid naming types t...