1) In all generality, include (BI : module type of struct include BI end with type t := t) will work if you haven't defined `module type B` or if `BI` exports other types (say u) and you need to preserve equalities (BI.u = B.u). 2) Changes have been made to the module system in the trunk version of OCaml. The original code should be accepted without any change. On Thu, Nov 29, 2018 at 10:03 AM Danny Gratzer wrote: > Hello, > > Perhaps I'm overlooking something but replacing > > include BI > > with > > include (BI : B with type t := t) > > seems like a reasonable fix to me. > > Danny > -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs