Module type constraints
- I ran into a case where this a constraint "with module A = B and module
C = D" was working where "with module C = D and module A = B" was
I don't understand why the order of these constraint clauses matter.
Any idea ?