On Fri, Oct 28, 2016 at 12:12 PM, Shayne Fletcher <shayne.fletcher.50@gmail.com> wrote:

Still stuck on how to achieve this I'm afraid.

Ah wait. I think I've got it.

module Mul_default (E : EQ) (N : NUM with type t = E.t) : MUL_S = struct

type t = E.t

include (E : EQ with type t := t)

include (N : NUM with type t := t)

let mul (x : t) (y : t) : t = failwith "foo"

end

Shayne Fletcher