On Fri, Oct 28, 2016 at 9:25 AM, Nicolas Ojeda Bar <
nicolas.ojeda.bar@lexifi.com> wrote:

> You can add a constrain to your functor arguments :
>
> module type MUL = functor (E : EQ) (N : NUM with type t = E.t) ->
>     MUL_S with module N := N and module E := E
>

​That does it! I tried so many different things :) You're a rock 'n roll
star.

We *really* need a comprehensive tutorial or reference on how to express
sharing constraints!​

-- 
Shayne Fletcher