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