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)