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

> 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)
>

​Grrr. No. I mucked up and put MUL_S.
​



-- 
Shayne Fletcher